Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
☆81Mar 11, 2025Updated 11 months ago
Alternatives and similar repositories for jillc
Users that are interested in jillc are comparing it to the libraries listed below
Sorting:
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 3 weeks ago
- World's first Nintendo 3DS emulator for Apple devices based on Citra.☆18Apr 7, 2023Updated 2 years ago
- Emulator for the Hack CPU.☆47Dec 3, 2024Updated last year
- Can I make an *optimizing* compiler under 1k lines of code?☆70Feb 21, 2025Updated last year
- A web + mobile app (PWA) with Stripe integration for forecasting SaaS revenue☆40Dec 5, 2023Updated 2 years ago
- 6502 emulator in pure Lua with test coverage☆26Apr 9, 2025Updated 10 months ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- ☆20Feb 27, 2023Updated 3 years ago
- Viewer for text datasets in formats like HuggingFace, JSONL, etc.☆15Feb 25, 2025Updated last year
- ☆140Feb 4, 2026Updated last month
- The smallest Forth real programming language for 6502. Based in milliForth for x86.☆112Sep 24, 2025Updated 5 months ago
- Symbian OS Kernel☆11Jun 19, 2021Updated 4 years ago
- ☆11Apr 30, 2025Updated 10 months ago
- keep folders in tmpfs, sync to persist storage when processes are not using them☆11Dec 2, 2021Updated 4 years ago
- DM50 is a cheap, powerful, easy to build, open source hardware, and high precision calculator.☆32Jan 24, 2025Updated last year
- A chrome extension to highlight trans erasure☆13Feb 14, 2025Updated last year
- a vector embedding database with multiple storage engines and AI embedding integrations☆34Aug 8, 2024Updated last year
- ☆19Feb 27, 2023Updated 3 years ago
- A P2P blog and P2P Chat with no signalling server. Nothin' but RTC!☆16Nov 17, 2023Updated 2 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆80Jul 30, 2025Updated 7 months ago
- Convert images to fit Commodore 64 graphic modes☆40Jan 9, 2026Updated last month
- Easy SMT solver interaction☆34Feb 3, 2026Updated last month
- The Boole Interactive Reasoning Assistant☆30May 9, 2014Updated 11 years ago
- Refinement type checking and inference tool for Rust☆17Feb 23, 2026Updated last week
- My WebAssembly VM☆76Jan 26, 2026Updated last month
- A modern supercompiler for call-by-value functional languages☆466Dec 5, 2025Updated 2 months ago
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated 10 months ago
- My investigation into mission generation in the Stealth Fighter games by Microprose.☆83Jan 10, 2025Updated last year
- Perlin noise Wang tile generator - Seamless, non-periodically tileable noise textures☆20Oct 28, 2022Updated 3 years ago
- Refreshing automation for inductive equational proofs using e-graphs☆24Jul 7, 2024Updated last year
- Compositional Verification of Security Protocols☆30Feb 19, 2026Updated last week
- BinaryRpc designed for latency-sensitive applications such as multiplayer games, financial tick streams, and IoT dashboards, delivering u…☆74Oct 18, 2025Updated 4 months ago
- A Python-based C compiler for x86-64, featuring full parsing, semantic analysis, IR generation, and assembly code emission.☆27Sep 10, 2025Updated 5 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Feb 12, 2024Updated 2 years ago
- A Simple Virtual Computer☆351Aug 23, 2025Updated 6 months ago
- A light weight feed reader that runs in your browser, with no backend☆52Aug 5, 2025Updated 6 months ago
- A complete 64-bit virtual machine implementation featuring a custom CPU architecture, assembler, compiler, and development environment bu…☆80Aug 21, 2025Updated 6 months ago
- Small linux recovery system in a single ~35Mb file. Just drop an EFI executable in your EFI partition and you are set.☆32Feb 24, 2025Updated last year
- draw an instrument, then play the notes 🗒️ 💛 🎵☆26Jun 17, 2024Updated last year