Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
☆80Mar 11, 2025Updated last year
Alternatives and similar repositories for jillc
Users that are interested in jillc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- World's first Nintendo 3DS emulator for Apple devices based on Citra.☆18Apr 7, 2023Updated 3 years ago
- Can I make an *optimizing* compiler under 1k lines of code?☆71Feb 21, 2025Updated last year
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆33Jun 20, 2026Updated 2 months ago
- A type theory with native support for Polynomial Functors.☆43Oct 8, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- work in progress, playing around with btor2 in rust☆15Aug 13, 2026Updated 3 weeks ago
- A 65C02 Assembly eDSL in Haskell☆18May 31, 2018Updated 8 years ago
- A web + mobile app (PWA) with Stripe integration for forecasting SaaS revenue☆43Updated this week
- My WebAssembly VM☆77Apr 30, 2026Updated 4 months ago
- DM50 is a cheap, powerful, easy to build, open source hardware, and high precision calculator.☆37Jan 24, 2025Updated last year
- An Atom feed generator for Gleam☆16Apr 7, 2025Updated last year
- A language server for Koto☆19Jul 6, 2026Updated 2 months ago
- A JavaScript lexer and syntax highlighter for Gleam!☆18Sep 1, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆24Jul 13, 2026Updated last month
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Feb 12, 2024Updated 2 years ago
- A plugin for Ghidra for automatic analysis of the binding of individual registers and their layouts.☆17Dec 18, 2025Updated 8 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Apr 29, 2024Updated 2 years ago
- ☆48Apr 21, 2021Updated 5 years ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Jul 18, 2023Updated 3 years ago
- A copy of Atari's coin-op assembler and tools, as well as coin-op Centipede☆23Jun 9, 2024Updated 2 years ago
- Implementation of the HPACK protocol for Elixir. 🎴☆26Updated this week
- The smallest Forth real programming language for 6502. Based in milliForth for x86.☆114Jun 6, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A simple, natural language based, pirate adventure game in Prolog.☆18Oct 20, 2013Updated 12 years ago
- Dead Simple CI☆41Aug 22, 2026Updated 2 weeks ago
- a minimal lisp dialect REPL written entirely in rust☆23Jun 20, 2025Updated last year
- A Simple Virtual Computer☆358Aug 28, 2026Updated last week
- Therefore, I have attacked [the problem of the catenary] which I had hitherto not attempted, and with my key [the differential calculus] …☆29Mar 3, 2026Updated 6 months ago
- ☆12Feb 26, 2020Updated 6 years ago
- Partial evaluator for Arm's Architecture Specification Language (ASL)☆18Jun 12, 2026Updated 2 months ago
- Linker experiments☆23Jan 2, 2025Updated last year
- Compiling C to FlipJump☆98Jun 23, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Alternative implementation of the logical framework Dedukti in Rust☆24Apr 10, 2025Updated last year
- A plugin for circuit notation☆13Updated this week
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆20Apr 14, 2026Updated 4 months ago
- Beispielprogramme zum Buch "Künstliche Intelligenz verstehen" von Pit Noack und Sophia Sanner (Rheinwerk Computing 2023)☆14Oct 25, 2023Updated 2 years ago
- High-Performance Klong array language in Python.☆315Jun 1, 2026Updated 3 months ago
- Some basic tools for interacting with `tcf-agent`☆11Jan 19, 2024Updated 2 years ago
- ☆21Feb 27, 2023Updated 3 years ago