cronokirby / ludusLinks
A pluggable NES emulator
β31Updated 6 years ago
Alternatives and similar repositories for ludus
Users that are interested in ludus are comparing it to the libraries listed below
Sorting:
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.β53Updated 4 years ago
- π A smol functional language that targets other languagesβ62Updated last year
- β16Updated 3 years ago
- it goes zoom zoomβ45Updated last year
- The third iteration of the Lavender programming language, implemented in Rust.β13Updated 4 years ago
- a pragmatic point-free theorem prover assistantβ140Updated last year
- A whitespace JIT compilerβ66Updated 3 months ago
- A compiler for the esoteric language β.β28Updated 3 years ago
- A programming language somewhat resembling cellular processes.β34Updated 3 years ago
- replacement for std::{Range,RangeInclusive}β36Updated 2 years ago
- Rust bindings for libgccjit.β51Updated 2 years ago
- π j is a subset of J, and an essay.β41Updated last year
- An experimental RVSDG optimizer for brainfuck codeβ24Updated 3 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rustβ39Updated 6 years ago
- Why can't a tree be called Pluplusch?β28Updated 2 months ago
- Sruth LΓΉbach: A toy optimization engineβ23Updated 4 years ago
- RRust, a reversible Rust DSLβ41Updated 7 months ago
- Wait, another virtual machine ?β62Updated 4 years ago
- Terrible, terrible voxel thing, written in Rust.β12Updated last year
- Macros have types!β129Updated 2 years ago
- Rust testing framework for compilers and VMsβ51Updated 4 months ago
- The next-generation Olin runtime, made with loveβ66Updated 3 years ago
- A library for deadlock-free session-typed communication in Rust.β46Updated 4 years ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.β52Updated 3 years ago
- β48Updated 5 years ago
- A MinCaml compiler implemented in Rustβ43Updated 2 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rustβ46Updated 9 years ago
- A lifetime inference algorithm for the Rust programming language written in SoufflΓ©.β24Updated 6 years ago
- yk packagesβ33Updated last week
- A statically-typed compiled language defined by a simple grammarβ24Updated 2 years ago