cronokirby / ludus
A pluggable NES emulator
☆31Updated 5 years ago
Alternatives and similar repositories for ludus:
Users that are interested in ludus are comparing it to the libraries listed below
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 3 years ago
- it goes zoom zoom☆45Updated last year
- a pragmatic point-free theorem prover assistant☆140Updated last year
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆88Updated this week
- Wait, another virtual machine ?☆62Updated 4 years ago
- Optimising Brainfuck compiler: Run your beloved Brainfuck code, but faster.☆69Updated 6 years ago
- Historic Rust code browsing☆32Updated 4 years ago
- Macros have types!☆129Updated 2 years ago
- 👌 A smol functional language that targets other languages☆62Updated last year
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆52Updated 3 years ago
- Rust bindings for libgccjit.☆51Updated 2 years ago
- hindley-milner algorithm☆58Updated last year
- 💐 j is a subset of J, and an essay.☆40Updated last year
- A whitespace JIT compiler☆63Updated last month
- RRust, a reversible Rust DSL☆40Updated 5 months ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Forth for Rust's trait system☆229Updated 4 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- ☆16Updated 3 years ago
- A rust crate which implements nanboxing☆21Updated 7 years ago
- Esotope Brainfuck Compiler (2009)☆28Updated 9 years ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆107Updated last year
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 8 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 8 years ago
- A functional programming language☆48Updated 4 years ago