Gecko: a fast GLR parser with automatic syntax error recovery

A scientific plotting library in Rust

A fast bump allocation arena for Rust

`t` (T-for-text) is a concise language for manipulating text, replacing common usage patterns of Unix utilities like grep, sed, cut, awk, sort, and uniq.

The TenDRA Project

BNF wrangling and railroad diagrams

Server to host Lean games

🐹 Deep clean and optimize your Mac.

Fast floating point to string conversion

Benchmark Rust f64-to-string conversion libraries

From Zero to QED: An informal introduction to formality with Lean 4

(Auto)DRY for your Rust dependencies

🛜 TUI for managing wifi on Linux

structural regular expressions for Rust

SDK for building cross-platform desktop apps in ANSI-C

A small rust library for adding custom derives to enums

A list of AI agents and robots to block.

A curated list of projects related to the reMarkable tablet

A full C compiler, written in pure C. No 3rd party dependencies or parser generators

Programming Language Theory λΠ

libgccjit AOT codegen for rustc

A debugger for Linux

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

🧮 Path to a free self-taught education in Mathematics!

A vector with a fixed capacity. (Rust)

A very fast linker for Linux

Turn Haskell expressions into pointfree style in your browser with WASM

Community-built comprehensive 2D content creation appplication for graphic design, digital art, and interactive real-time motion graphics powered by a node-based procedural graphics engine

Grammars written for ANTLR v4; expectation that the grammars are free of actions.