Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
☆351May 3, 2025Updated 10 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
Sorting:
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 8 months ago
- OCaml to Golang compiler☆40Dec 12, 2020Updated 5 years ago
- A symbolic analyser for shell scripts.☆22Sep 17, 2021Updated 4 years ago
- Library for tokenizing code with TextMate grammars☆14Feb 28, 2026Updated last week
- A basic JSON library in modern C++☆16Aug 23, 2021Updated 4 years ago
- Lenses and tracked selectors enhancer and hooks for reductive.☆14Jan 5, 2023Updated 3 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 5 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 4 years ago
- Tools for record-and-replay debugging☆44Mar 9, 2023Updated 3 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
- Explorations into reasonably ergonomic lens derivations☆21Apr 9, 2019Updated 6 years ago
- ReasonML implementation of JSX SSR(Server Side Rendering)☆21Dec 6, 2019Updated 6 years ago
- ☆12Jul 10, 2020Updated 5 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
- Small tensor library a la GLSL☆17Oct 28, 2022Updated 3 years ago
- A library that makes it nicer to work with nested functional data structures☆61Jan 15, 2026Updated last month
- Benchmarking framework for OCaml☆25Jan 1, 2024Updated 2 years ago
- HOTP and TOTP algorithms for 2-step verification (for OCaml).☆21Feb 18, 2023Updated 3 years ago
- CI in tty☆14Jun 26, 2023Updated 2 years ago
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- 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
- OCaml Bindings to MLIR☆15Dec 11, 2020Updated 5 years ago
- a mirage kernel using esy☆18Jan 20, 2021Updated 5 years ago
- Reactive signals for OCaml.☆18Sep 12, 2024Updated last year
- High-quality JavaScript bindings for OCaml☆30Apr 29, 2021Updated 4 years ago
- Effectful OCaml with Objects and Variants☆29Feb 3, 2023Updated 3 years ago
- An OCaml wrapper to the AF_XDP socket interface of libbpf☆27Jul 9, 2024Updated last year
- multi-shot continuations in OCaml☆51Nov 21, 2025Updated 3 months ago
- An OCaml toplevel (REPL) upgrade☆92Jul 29, 2025Updated 7 months ago
- Stable types conversions generator☆23Jan 15, 2026Updated last month
- Coq library for handling names☆19Aug 5, 2022Updated 3 years ago
- Ascend - simple, yet fun terminal RPG.☆32Nov 2, 2024Updated last year
- ☆20Nov 25, 2025Updated 3 months ago
- OCaml Bitstring - bitstring matching for OCaml☆65Nov 11, 2025Updated 3 months ago
- Interactive breakpoints!☆47Jan 9, 2026Updated 2 months ago
- Experimental opam plugin☆19Dec 3, 2025Updated 3 months ago
- Melange bindings to the DOM and other Web APIs☆21Dec 14, 2025Updated 2 months ago