Yuri de Wit's repositories
lean-souffle
Uses souffle to analyse Lean's LCNF representation
lean-markup
Compile-time HTML templates for Lean4
DataEngineeringWithRust
Code exercises from Coursera's Data Engineering with Rust course
flake-templates
A personal list of flake templates
HVM
A massively parallel, optimal functional runtime in Rust
hvm-kanren
A µKanren implementation in HVM
lean4
Lean 4 programming language and theorem prover
lean4-papyrus
An LLVM interface for Lean 4. (WIP)
libuv-shim
A shim for integrating libuv into Lean
optaplanner
Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, conference scheduling and other planning problems.
lean-libloader
Dynamic library loading for Lean4, inspired by Rust’s libloading.
rudralang
A dynamic general-purpose high-level functional-programming language with familiar syntax that compiles to native binaries.
rust-new-project-template
A good starting point for a new Rust project
shimmer
Automatically generates Lean FFI bindings to C libraries
spacemacs-layers
My personal layers for spacemacs