Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
☆355May 3, 2025Updated last year
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☆15Jun 14, 2025Updated 11 months ago
- OCaml to Golang compiler☆39Dec 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☆31Jan 13, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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 2 years ago
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆336Jun 26, 2020Updated 5 years ago
- ☆12Jul 10, 2020Updated 5 years ago
- Library for tokenizing code with TextMate grammars☆15Apr 11, 2026Updated last month
- The caml walks, OCaml runs☆22Oct 11, 2023Updated 2 years ago
- Reactive signals for OCaml.☆20Sep 12, 2024Updated last year
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 6 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 3 months ago
- A symbolic analyser for shell scripts.☆22Sep 17, 2021Updated 4 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 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.
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 7 months 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☆29Nov 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☆93Jul 29, 2025Updated 10 months ago
- Stable types conversions generator☆23May 18, 2026Updated 3 weeks ago
- ⚛️ 🎣 A collection of hooks for ReasonReact☆27Sep 12, 2024Updated last year
- ☆21Apr 2, 2026Updated 2 months ago
- 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.
- Another way to describe mirage☆19Jul 8, 2019Updated 6 years ago
- A library that makes it nicer to work with nested functional data structures☆62May 18, 2026Updated 3 weeks ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆303Jul 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☆16Dec 11, 2020Updated 5 years ago
- a mirage kernel using esy☆18Jan 20, 2021Updated 5 years ago
- A toy language based on LLVM that implements the System Fω type-system☆116Aug 14, 2023Updated 2 years ago