Popular repositories Loading

1. ante ante Public

   A safe, easy systems language

   Rust 1.9k 79

2. algorithm-j algorithm-j Public

   A minimal implementation of Hindley-Milner's Algorithm J in OCaml

   OCaml 55 3

3. golden-tests golden-tests Public

   A golden file testing library for rust

   Rust 32 5

4. vale.vim vale.vim Public

   Vim syntax highlighting for the Vale programming language

   Vim Script 6 1

5. ante_vim ante_vim Public

   Vim plugin for Ante syntax highlighting

   Vim Script 3

6. flexible-fearless flexible-fearless Public

   A partial implementation of "A Flexible Type System for Fearless Concurrency" in Unison

   2