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 last year
- 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆336Jun 26, 2020Updated 6 years ago
- ☆12Jul 10, 2020Updated 5 years ago
- Library for tokenizing code with TextMate grammars☆15Apr 11, 2026Updated 2 months ago
- 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 4 months ago
- A symbolic analyser for shell scripts.☆22Sep 17, 2021Updated 4 years ago
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 8 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.
- 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☆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 11 months ago
- Stable types conversions generator☆23May 18, 2026Updated last month
- ⚛️ 🎣 A collection of hooks for ReasonReact☆27Sep 12, 2024Updated last year
- ☆21Apr 2, 2026Updated 2 months ago
- 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.
- 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 last month
- 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
- 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
- Effects-based direct-style IO for multicore OCaml☆701Updated this week