Stars
13
results
for sponsorable starred repositories
Clear filter
The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Missing slash commands pakage for emacs
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Dependent type checker using normalisation by evaluation
Fancy extension for std::error::Error with pretty, detailed diagnostic printing.