Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
☆356May 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
- 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
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 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.
- 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
- 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
- Ahnfelt's Type Inference by Example but implemented in Gleam☆12Jul 28, 2023Updated 2 years ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Jul 26, 2024Updated last year
- A basic JSON library in modern C++☆16Aug 23, 2021Updated 4 years ago
- Library for tokenizing code with TextMate grammars☆15Apr 11, 2026Updated 3 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.
- 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
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆336Jun 26, 2020Updated 6 years ago
- ☆20Jul 9, 2026Updated last week
- ☆12Jul 10, 2020Updated 6 years 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
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- A symbolic analyser for shell scripts.☆23Sep 17, 2021Updated 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.
- Benchmarking framework for OCaml☆25Jan 1, 2024Updated 2 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- A formally verified compiler for a simple language with numbers and sums☆29Nov 29, 2020Updated 5 years ago
- Stable types conversions generator☆23Jul 10, 2026Updated last week
- 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
- ⚛️ 🎣 A collection of hooks for ReasonReact☆27Sep 12, 2024Updated last year
- Another way to describe mirage☆19Jul 8, 2019Updated 7 years ago
- HOTP and TOTP algorithms for 2-step verification (for OCaml).☆21Feb 18, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A library that makes it nicer to work with nested functional data structures☆63Jul 10, 2026Updated last week
- 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
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆304Jul 14, 2022Updated 4 years ago
- OCaml Bindings to MLIR☆16Dec 11, 2020Updated 5 years ago
- CI in tty☆14Jun 26, 2023Updated 3 years ago
- Experimental opam plugin☆22Updated this week