8000 alrunner4 (Alexander Carter) / Starred ยท GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View alrunner4's full-sized avatar

Block or report alrunner4

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
Showing results

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Java 17,922 3,349 Updated Apr 3, 2025

Display and control your Android device

C 122,045 11,478 Updated May 9, 2025

Pure pseudo-random splitmix generator

Idris 3 1 Updated Dec 19, 2024

Personal playground for Idris stuff

Idris 6 Updated May 13, 2025

A library for simple concurrency without parallelism

Idris 9 Updated Dec 19, 2024

A hobby implementation of an ncurses binding for Idris 2

Idris 16 3 Updated Dec 9, 2024

An example chat app using libp2p

JavaScript 6 2 Updated May 1, 2025

Bagnard Font

141 16 Updated Jun 8, 2022

Build production-ready applications in TypeScript

TypeScript 9,051 308 Updated May 15, 2025

Windows inside a Docker container.

Shell 35,100 2,520 Updated May 6, 2025

Resources related to FUSE (filesystem in user space).

323 41 Updated Apr 18, 2024

nix-types | type hints for nix

Rust 81 3 Updated Oct 28, 2024

Your CLI home video recorder ๐Ÿ“ผ

Go 16,371 289 Updated May 12, 2025

Render markdown on the CLI, with pizzazz! ๐Ÿ’…๐Ÿป

Go 17,813 402 Updated May 12, 2025

Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix

Rust 834 12 Updated May 7, 2025

Command-line tool to convert markdown to html

Go 33 5 Updated Jan 24, 2024

a pure CSS lightbox (now with JavaScript).

JavaScript 188 9 Updated May 4, 2018

Scheme based powerful lisp interpreter in JavaScript

JavaScript 445 39 Updated May 10, 2025
HTML 3 4 Updated Jan 2, 2018

Curl bindings for Idris 2

Idris 4 1 Updated Aug 23, 2020

a http(s) client in idris

Idris 27 5 Updated Dec 11, 2024
Python 5 3 Updated Jun 16, 2024

A command line interface for Amazon EBS snapshots

Rust 223 28 Updated May 12, 2025

Command line interface library in Idris

Idris 31 3 Updated Jul 26, 2024

A statically typed lisp, without a GC, for real-time applications.

Haskell 5,657 172 Updated Nov 26, 2024

๐Ÿ“ซ A serverless email server on AWS using S3 and SES

3,035 167 Updated Dec 30, 2023

Optimizer and compiler/toolchain library for WebAssembly

WebAssembly 7,867 785 Updated May 14, 2025

Probabilistic music composition in Idris2

Idris 16 1 Updated Dec 23, 2022
Next
0