Pinned Repositories
compiler-tinkering
Random code, experiments, learnings
DataEngineeringWithRust
Code exercises from Coursera's Data Engineering with Rust course
flake-templates
A personal list of flake templates
lean-markup
Compile-time HTML templates for Lean4
lean-souffle
Uses souffle to analyse Lean's LCNF representation
libuv-shim
A shim for integrating libuv into Lean
rinet
strandal
A lightweight and multi-threaded Interaction Combinators implementation in Rust
tos
ydewit's Repositories
ydewit/lean-souffle
Uses souffle to analyse Lean's LCNF representation
ydewit/lean-markup
Compile-time HTML templates for Lean4
ydewit/strandal
A lightweight and multi-threaded Interaction Combinators implementation in Rust
ydewit/tos
ydewit/compiler-tinkering
Random code, experiments, learnings
ydewit/DataEngineeringWithRust
Code exercises from Coursera's Data Engineering with Rust course
ydewit/flake-templates
A personal list of flake templates
ydewit/HVM
A massively parallel, optimal functional runtime in Rust
ydewit/hvm-kanren
A µKanren implementation in HVM
ydewit/Lean
Lean Algorithmic Trading Engine by QuantConnect (C#, Python, F#, VB, Java)
ydewit/lean4
Lean 4 programming language and theorem prover
ydewit/lean4-metaprogramming-book
ydewit/lean4-papyrus
An LLVM interface for Lean 4. (WIP)
ydewit/libuv-shim
A shim for integrating libuv into Lean
ydewit/optaplanner
Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, conference scheduling and other planning problems.
ydewit/rinet
ydewit/CQL
Categorical Query Language IDE
ydewit/lean-libloader
Dynamic library loading for Lean4, inspired by Rust’s libloading.
ydewit/lean-lldb
an LLDB extension for debugging Lean programs
ydewit/nixpkgs
Nix Packages collection & NixOS
ydewit/rudralang
A dynamic general-purpose high-level functional-programming language with familiar syntax that compiles to native binaries.
ydewit/rust-new-project-template
A good starting point for a new Rust project
ydewit/shimmer
Automatically generates Lean FFI bindings to C libraries
ydewit/spacemacs-layers
My personal layers for spacemacs
ydewit/textmate-grammars-themes
Collection of TextMate grammars and themes in JSON
ydewit/vscode-lean4
ydewit/ydewit.github.io