Curated list of awesome resources on Compilers, Interpreters and Runtimes.
☆29May 9, 2019Updated 6 years ago
Alternatives and similar repositories for awesome-compilers
Users that are interested in awesome-compilers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Writing multicore programs with Reason☆15Dec 22, 2020Updated 5 years ago
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 6 months ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- My dotfile Configurations☆11Apr 22, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Jul 26, 2024Updated last year
- The official documentation of the OwnStore suite.☆10Apr 13, 2022Updated 4 years ago
- tree-sitter based syntax highlighting HTML rendering☆18Feb 4, 2023Updated 3 years ago
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆17Nov 5, 2023Updated 2 years ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆15Mar 17, 2026Updated last month
- Phyllotaxis implemented with ReasonML☆12Oct 1, 2018Updated 7 years ago
- BQN implementation in Julia☆18Apr 24, 2022Updated 4 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆54Jul 21, 2021Updated 4 years ago
- Ready-to-use widgets for the Floem GUI library on Windows, Mac and Linux.☆13Jan 28, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆15Aug 20, 2023Updated 2 years ago
- Library for generalised parser combinators and a dedicated meta-language in Rust☆13Nov 15, 2025Updated 5 months ago
- Experiment to simulate a BLE HID keyboard on ESP32-C3 bare-metal☆20Mar 28, 2024Updated 2 years ago
- A simple test framework for Ligo Lang☆13Mar 29, 2024Updated 2 years ago
- Tornado is a BitTorrent client written entirely in OCaml.☆59Oct 14, 2025Updated 6 months ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆25May 7, 2025Updated 11 months ago
- The torque project CLI toolchain☆16Jun 10, 2024Updated last year
- (going to be a) BLE stack for embedded Rust (now for real)☆19Jul 6, 2024Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆52Dec 6, 2025Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- exercises for the book - the little typer☆21May 15, 2025Updated 11 months ago
- A toy OCaml builder☆16Jul 9, 2021Updated 4 years ago
- Whitespace interpreter written in Python3☆15Dec 15, 2023Updated 2 years ago
- cursor location indicator for x11☆17Aug 18, 2020Updated 5 years ago
- ☆15Jul 27, 2018Updated 7 years ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 4 years ago
- Script to collect the results of extension or filename searches on GitHub.☆24Sep 27, 2019Updated 6 years ago
- ☆15Sep 11, 2018Updated 7 years ago
- ☆27Jan 18, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple diff algorithm in pure OCaml☆15Jul 10, 2020Updated 5 years ago
- A macro impl and discussion about named & default args in Rust.☆18Dec 20, 2018Updated 7 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- 🌳 Generate a fresh bonsai in your terminal☆32Oct 4, 2021Updated 4 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- Revamp ocaml-manual☆11Oct 18, 2020Updated 5 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated 4 months ago