Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
☆351May 3, 2025Updated 11 months ago
Alternatives and similar repositories for compiling-to-assembly-from-scratch
Users that are interested in compiling-to-assembly-from-scratch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 10 months ago
- OCaml to Golang compiler☆40Dec 12, 2020Updated 5 years ago
- A basic JSON library in modern C++☆16Aug 23, 2021Updated 4 years ago
- Algorithms to layout trees in a pretty manner.☆36Mar 7, 2022Updated 4 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 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.
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- ReasonML implementation of JSX SSR(Server Side Rendering)☆21Dec 6, 2019Updated 6 years ago
- Lenses and tracked selectors enhancer and hooks for reductive.☆14Jan 5, 2023Updated 3 years ago
- Explorations into reasonably ergonomic lens derivations☆21Apr 9, 2019Updated 7 years ago
- Ahnfelt's Type Inference by Example but implemented in Gleam☆12Jul 28, 2023Updated 2 years ago
- Tools for record-and-replay debugging☆45Mar 9, 2023Updated 3 years ago
- bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)☆13May 6, 2024Updated last year
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Jul 26, 2024Updated last year
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Sep 3, 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.
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Jun 26, 2020Updated 5 years ago
- ☆12Jul 10, 2020Updated 5 years ago
- Library for tokenizing code with TextMate grammars☆15Apr 11, 2026Updated 2 weeks ago
- The caml walks, OCaml runs☆21Oct 11, 2023Updated 2 years ago
- Reactive signals for OCaml.☆19Sep 12, 2024Updated last year
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 5 years ago
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆74Feb 20, 2026Updated 2 months ago
- A symbolic analyser for shell scripts.☆22Sep 17, 2021Updated 4 years ago
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- Benchmarking framework for OCaml☆25Jan 1, 2024Updated 2 years ago
- A formally verified compiler for a simple language with numbers and sums☆28Nov 29, 2020Updated 5 years ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆161Aug 30, 2023Updated 2 years ago
- An OCaml toplevel (REPL) upgrade☆92Jul 29, 2025Updated 9 months ago
- Experimental opam plugin☆19Mar 17, 2026Updated last month
- Stable types conversions generator☆23Apr 6, 2026Updated 3 weeks ago
- ⚛️ 🎣 A collection of hooks for ReasonReact☆27Sep 12, 2024Updated last year
- 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.
- ☆21Apr 2, 2026Updated 3 weeks ago
- Another way to describe mirage☆19Jul 8, 2019Updated 6 years ago
- A library that makes it nicer to work with nested functional data structures☆61Apr 6, 2026Updated 3 weeks ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆302Jul 14, 2022Updated 3 years ago
- HOTP and TOTP algorithms for 2-step verification (for OCaml).☆21Feb 18, 2023Updated 3 years ago
- OCaml Bindings to MLIR☆15Dec 11, 2020Updated 5 years ago
- a mirage kernel using esy☆18Jan 20, 2021Updated 5 years ago