Popular repositories Loading

1. L0 L0 Public

   Statically typed, compiled programming language based on LLVM

   C++ 1

2. hindley-milner hindley-milner Public

   An implementation of Algorithm J for type inference in the Hindley-Milner type system, written in Rust

   Rust 1

3. plox plox Public

   An Interpreter for the Lox Programming Language Written in Python

   Python

4. trie.py trie.py Public

   A prefix tree (or trie) implemented in Python

   Python

5. pte pte Public

   A modal text editor written in Python, inspired by Vim.

   Python

6. cppswitch cppswitch Public

   A Neovim plugin for switching between a C++ header file and the corresponding implementation file

   Lua