Tiger Compiler from Modern Compiler Implementation in ML
☆23Mar 17, 2017Updated 8 years ago
Alternatives and similar repositories for modern-compiler-implementation-ml
Users that are interested in modern-compiler-implementation-ml are comparing it to the libraries listed below
Sorting:
- Functional Reactive Programming for Scala☆24Dec 3, 2016Updated 9 years ago
- A Tiger compiler written in SML.☆13May 7, 2015Updated 10 years ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Sep 22, 2022Updated 3 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Aug 1, 2022Updated 3 years ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆37Dec 20, 2025Updated 2 months ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- A Tour of Standard ML (in the style of A Tour of Go)☆59Jul 4, 2021Updated 4 years ago
- Concurrency library☆17Oct 13, 2024Updated last year
- A binding of Isaac mod that revamps everything around boss health bars☆11May 7, 2025Updated 9 months ago
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- Akka based library for writing Slack bots in Scala.☆31Jan 11, 2023Updated 3 years ago
- Patched freeware bundled with doukutsu-rs builds.☆12Jan 8, 2021Updated 5 years ago
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- simple native XQuery processing module using xqilla.☆11Mar 24, 2012Updated 13 years ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- K^Kernel sources for Samsung MSM 7x30 devices☆16Jan 30, 2016Updated 10 years ago
- ☆10Jun 9, 2016Updated 9 years ago
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- View PR, related to line under cursor, in web browser.☆14Jan 18, 2026Updated last month
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- ☆13Feb 27, 2026Updated last week
- Parallel Functional Testing framework, written in Rust☆11Oct 22, 2023Updated 2 years ago
- mirai-rs is a mirai-api-http client implementation written in Rust☆24Feb 17, 2021Updated 5 years ago
- ☆15May 14, 2025Updated 9 months ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 4 months ago
- CyanogenMod for Samsung Galaxy S Plus (GT-I9001)☆23Aug 30, 2015Updated 10 years ago
- sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode☆11Updated this week
- Debug as an Effect (DaaE)☆10Apr 22, 2025Updated 10 months ago
- ☆11Apr 10, 2024Updated last year
- Interact with Gemini Live API (Audio) for Scala☆19Sep 7, 2025Updated 5 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Pure Rust PNG decoder with good performances in WebAssembly☆10Aug 13, 2019Updated 6 years ago
- Scalar 2024 - Generative Art in Scala, No AI Required☆11Mar 27, 2024Updated last year
- ☆12Apr 16, 2024Updated last year
- bilibili java api av,bv算法互转☆10Mar 26, 2020Updated 5 years ago
- Open source version of the Log Parser that parses ATA/SCSI/NVMe & Seagate vendor unique logs☆21Feb 18, 2026Updated 2 weeks ago
- Convert images to Unicode braille character equivalents for Discord, et al.☆13Oct 17, 2019Updated 6 years ago
- My solutions for "Operating Systems: three easy pieces" projects☆11Sep 14, 2023Updated 2 years ago