Pinned Loading

1. ezno ezno Public

   A fast and correct TypeScript type checker and compiler with additional experiments

   Rust 2.7k 48

2. benchmarks benchmarks Public

   Benchmarks for various things. See actions for runs

   Shell

3. mathematics mathematics Public

   d-

   Lean 2

4. codespan codespan Public

   Forked from brendanzab/codespan

   Beautiful diagnostic reporting for text-based programming languages.

   Rust

5. experiments experiments Public

   A collection of projects that are not yet ready for their own repository