Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
☆350May 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 9 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 4 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☆44Mar 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
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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☆15Mar 20, 2026Updated 3 weeks ago
- The caml walks, OCaml runs☆21Oct 11, 2023Updated 2 years ago
- Reactive signals for OCaml.☆18Sep 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 last month
- A symbolic analyser for shell scripts.☆22Sep 17, 2021Updated 4 years ago
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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)☆160Aug 30, 2023Updated 2 years ago
- An OCaml toplevel (REPL) upgrade☆92Jul 29, 2025Updated 8 months ago
- Experimental opam plugin☆19Mar 17, 2026Updated 3 weeks ago
- Stable types conversions generator☆23Updated this week
- ⚛️ 🎣 A collection of hooks for ReasonReact☆27Sep 12, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆20Apr 2, 2026Updated last week
- Another way to describe mirage☆19Jul 8, 2019Updated 6 years ago
- A library that makes it nicer to work with nested functional data structures☆61Updated this week
- 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