-
21:00
- 8h ahead
Lists (2)
Sort Name ascending (A-Z)
Stars
Empowering everyone to build reliable and efficient software.
A guide to how rustc works and how to contribute to it.
MoonBit WASM-4 on the ESP32 series microcontroller
A handheld Linux terminal using Raspberry pi Zero 2W as Core with 4" 720X720 TFT display
The build system and package manager for MoonBit
Various utility crates that might be useful when implementing a programming language.
moved from https://sourceforge.net/p/min-caml/code/
An implementation of intrusive smart pointer with weak reference support
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
A garden of small programming language implementations 🪴
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
Pattern matching and exhaustiveness checking algorithms implemented in Rust
Minimal implementations for dependent type checking and elaboration
Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
nanobind: tiny and efficient C++/Python bindings
A new markup-based typesetting system that is powerful and easy to learn.
A massively parallel, optimal functional runtime in Rust
A book about compiling Racket and Python to x86-64 assembly
Public repository of the QuickJS Javascript Engine.