Writeup that goes along with this:
☆41Jan 18, 2018Updated 8 years ago
Alternatives and similar repositories for howtoproveacompiler
Users that are interested in howtoproveacompiler are comparing it to the libraries listed below
Sorting:
- Verified Extraction from Rocq to OCaml/Malfunction☆14May 23, 2025Updated 9 months ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 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…☆72Feb 20, 2026Updated last week
- A discouraging story.☆16May 8, 2018Updated 7 years ago
- ☆17Apr 4, 2024Updated last year
- ☆14Feb 26, 2024Updated 2 years ago
- being a particular fragment of Haskell, extended to a proof system☆44Updated this week
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- ☆22Feb 22, 2020Updated 6 years ago
- Designing Programs with Class☆28Jan 30, 2018Updated 8 years ago
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆59Apr 13, 2024Updated last year
- The PGG Partial Evaluation System for Scheme 48☆18Dec 31, 2012Updated 13 years ago
- Source code for a minimal Commodore 64 BASIC interpreter and the essay "The Lost Ways of Programming: Commodore 64 BASIC"☆21Nov 1, 2022Updated 3 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- ☆51Jan 30, 2026Updated last month
- A TODO list feature for DrRacket, like to Agda's goal list but for any language.☆34Jul 1, 2023Updated 2 years ago
- Fun plugin to play with the Gallina AST.☆39Oct 3, 2019Updated 6 years ago
- Working through the Thinking with Types book in Haskell☆34May 1, 2020Updated 5 years ago
- multi platform game engine☆11Sep 1, 2025Updated 6 months ago
- Logic for story telling!☆36Mar 15, 2018Updated 7 years ago
- NES emulator in OCaml☆43Jul 21, 2023Updated 2 years ago
- Conway's Game of Life in Web Assembly, built using Bolero☆31Jun 14, 2020Updated 5 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 7 years ago
- aarch64 Malware course☆11Nov 13, 2025Updated 3 months ago
- A simple LED sequencer based Graduation Cap☆13Jul 16, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/exercisesheet☆11Dec 17, 2015Updated 10 years ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- you can start vmess proxy with easy setup☆13Oct 20, 2022Updated 3 years ago
- F# full-stack IoT starter project for Raspberry Pi☆43Mar 20, 2018Updated 7 years ago
- A Fable React wrapper for the HTML canvas element that makes it easy to create drawings and graphics☆35Jul 22, 2024Updated last year
- Struct-aware fuzzing framework + some fuzzers☆30Jan 28, 2026Updated last month
- A reflection-based JSON (de)serialization library written in and for F#☆14Nov 19, 2020Updated 5 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Dec 19, 2019Updated 6 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆13Nov 17, 2022Updated 3 years ago