jashug/FormalizedCompilerAlgorithms external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jashug/FormalizedCompilerAlgorithms

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jashug/FormalizedCompilerAlgorithms)

Close

jashug / FormalizedCompilerAlgorithmsView on GitHubMore

• External links
• Readme badge

Formalization in Coq of algorithms used in compilers for the Compiler.org project

☆15Dec 22, 2018Updated 7 years ago

Alternatives and similar repositories for FormalizedCompilerAlgorithms

Users that are interested in FormalizedCompilerAlgorithms are comparing it to the libraries listed below

• OUPL / MLCert

  View on GitHub
  Certified Machine Learning
  ☆41Mar 10, 2021Updated 4 years ago
• dbuenzli / qoic

  View on GitHub
  QOI image codec for OCaml (unreleased)
  ☆11Jan 2, 2026Updated last month
• jtcoolen / ocaml-pari

  View on GitHub
  OCaml bindings to the number theory library PARI/GP
  ☆12Jan 11, 2025Updated last year
• darrenldl / ocaml-lxc

  View on GitHub
  OCaml binding to LXC with idiomatic (and opionated) OCaml API design
  ☆13Oct 25, 2019Updated 6 years ago
• 314eter / ocaml-xxhash

  View on GitHub
  OCaml bindings for xxHash, an extremely fast hash algorithm.
  ☆13Sep 27, 2022Updated 3 years ago
• mirage / ocaml-fsevents

  View on GitHub
  macOS bindings to the FSEvents API
  ☆18Nov 24, 2025Updated 3 months ago
• jfeser / bitarray

  View on GitHub
  Fast vectorized bitarrays for OCaml
  ☆16Jul 11, 2023Updated 2 years ago
• SimonBoulier / TypingFlags

  View on GitHub
  A Coq plugin to disable positivity check, guard check and termination check
  ☆16Nov 2, 2019Updated 6 years ago
• tokenrove / tsdl-image

  View on GitHub
  OCaml SDL2_image bindings to go with Tsdl
  ☆14Sep 12, 2021Updated 4 years ago
• Drup / functoria-lua

  View on GitHub
  Building Lua interpreters with lot's of functors
  ☆13Jul 31, 2018Updated 7 years ago
• imandra-ai / ocaml-cimgui

  View on GitHub
  [wip] bindings to Dear Imgui for OCaml.
  ☆17Jun 26, 2020Updated 5 years ago
• atacama-dev / llama-cpp-ocaml

  View on GitHub
  OCaml ctypes bindings to llama.cpp
  ☆15Jan 23, 2024Updated 2 years ago
• tomjridge / imp_fs

  View on GitHub
  ImpFS, a new filesystem.
  ☆21Feb 6, 2022Updated 4 years ago
• dsheets / ocaml-osx-cf

  View on GitHub
  CoreFoundation bindings in OCaml
  ☆15Jul 14, 2020Updated 5 years ago
• simonjbeaumont / ocaml-flock

  View on GitHub
  Ctypes bindings to flock(2) for OCaml
  ☆14Mar 7, 2024Updated last year
• philzook58 / lens-algebra

  View on GitHub
  Type level algebraic "proofs" using lens combinators
  ☆19Jul 26, 2019Updated 6 years ago
• LaurentMazare / ocaml.jl

  View on GitHub
  Prototype code for some Julia-OCaml bindings
  ☆16Jan 3, 2021Updated 5 years ago
• tarides / cactus

  View on GitHub
  A Btree library in OCaml
  ☆18Mar 30, 2023Updated 2 years ago
• mirage / ca-certs

  View on GitHub
  Detect root CA certificates from the operating system
  ☆14Nov 24, 2025Updated 3 months ago
• mmcco / verified-parser-example

  View on GitHub
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆21Mar 19, 2015Updated 10 years ago
• ujamjar / ctypes_of_clang

  View on GitHub
  Convert C-code to OCaml Ctypes via Clang
  ☆19Apr 15, 2019Updated 6 years ago
• uwplse / CoqAST

  View on GitHub
  Fun plugin to play with the Gallina AST.
  ☆39Oct 3, 2019Updated 6 years ago
• ygrek / ocaml-zstd

  View on GitHub
  OCaml bindings to Zstandard (http://zstd.net)
  ☆21Jun 7, 2024Updated last year
• avsm / mirage-from-basics

  View on GitHub
  Another way to describe mirage
  ☆19Jul 8, 2019Updated 6 years ago
• robur-coop / happy-eyeballs

  View on GitHub
  An implementation of happy eyeballs (RFC 8305) in OCaml with lwt
  ☆22May 14, 2025Updated 9 months ago
• ahrefs / ocaml-ahrocksdb

  View on GitHub
  OCaml bindings for RocksDB
  ☆22Oct 26, 2023Updated 2 years ago
• yallop / ocaml-memcpy

  View on GitHub
  ☆21Dec 29, 2025Updated 2 months ago
• maximedenes / coq-amd64

  View on GitHub
  ☆21Mar 15, 2016Updated 9 years ago
• jptmoore / nibbledb

  View on GitHub
  a byte-sized time series database
  ☆23Dec 15, 2020Updated 5 years ago
• owlbarn / eigen

  View on GitHub
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Jun 2, 2022Updated 3 years ago
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 3 years ago
• mbacarella / curses

  View on GitHub
  Bindings to curses/ncurses
  ☆24Aug 8, 2024Updated last year
• mirage / ocaml-diet

  View on GitHub
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Apr 16, 2022Updated 3 years ago
• cryptosense / pkcs11

  View on GitHub
  OCaml bindings for the PKCS#11 cryptographic API
  ☆23Feb 11, 2023Updated 3 years ago
• jules-hedges / open-games

  View on GitHub
  Haskell implementation of open games
  ☆13Apr 20, 2016Updated 9 years ago
• nikivazou / proof-combinators

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 7 years ago
• sanette / ocaml-tutorial

  View on GitHub
  Revamp ocaml-manual
  ☆10Oct 18, 2020Updated 5 years ago
• mirage / ocaml-dkim

  View on GitHub
  DKIM support on e-mail
  ☆11Feb 5, 2026Updated 3 weeks ago
• CGenie / ray-tracer

  View on GitHub
  The Ray Tracer Challenge book solutions in Ocaml
  ☆13Mar 23, 2021Updated 4 years ago