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

Display and control your Android device

Pure pseudo-random splitmix generator

Personal playground for Idris stuff

A library for simple concurrency without parallelism

A hobby implementation of an ncurses binding for Idris 2

An example chat app using libp2p

Bagnard Font

An ecosystem of tools to build robust applications in TypeScript

Windows inside a Docker container.

Resources related to FUSE (filesystem in user space).

nix-types | type hints for nix

Your CLI home video recorder 📼

Render markdown on the CLI, with pizzazz! 💅🏻

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

Command-line tool to convert markdown to html

a pure CSS lightbox (now with JavaScript).

Scheme based powerful lisp interpreter in JavaScript

Curl bindings for Idris 2

a http(s) client in idris

A command line interface for Amazon EBS snapshots

Command line interface library in Idris

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

📫 A serverless email server on AWS using S3 and SES

Optimizer and compiler/toolchain library for WebAssembly

Probabilistic music composition in Idris2