PL
[WIP] Course project for Programming Language Principle
Beautiful diagnostic reporting for text-based programming languages.
Write expressive, high-performance parsers with ease.
Run Rust files and expressions as scripts without any setup or compilation step.
Boa is an embeddable Javascript engine written in Rust.
Fancy extension for std::error::Error with pretty, detailed diagnostic printing.
Syntactic sugar for monad composition in Scala
⭐️ A friendly language for building type-safe, scalable systems!
Zero overhead tracing garbage collection for rust (WIP)
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
a model of MIR and the Rust type/trait system
📦 CMake's missing package manager. A small CMake script for setup-free, cross-platform, reproducible dependency management.
🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.
Cargo subcommand to provide various options useful for testing and continuous integration.
A data structure to efficiently intern, cache and restore strings.
A purely functional programming language with first class types
C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)
I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.