koka-lang/AddressC 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

koka-lang/AddressC

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/koka-lang/AddressC)

Close

koka-lang / AddressCView on GitHubMore

• External links
• Readme badge

☆14May 28, 2025Updated 9 months ago

Alternatives and similar repositories for AddressC

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

• fplaunchpad / verified_ocaml_gc

  View on GitHub
  For Jar artifacts
  ☆20Nov 8, 2025Updated 4 months ago
• arthuraa / cryptis

  View on GitHub
  ☆16Mar 6, 2026Updated 2 weeks ago
• AU-COBRA / coq-rust-extraction

  View on GitHub
  Coq plugin for extracting Rust code
  ☆19Mar 2, 2026Updated 2 weeks ago
• xavierleroy / canonical-binary-tries

  View on GitHub
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆21Apr 17, 2024Updated last year
• Lysxia / coq-ceres

  View on GitHub
  Coq library for serialization to S-expressions
  ☆20Jul 3, 2023Updated 2 years ago
• logsem / melocoton

  View on GitHub
  ☆13Apr 28, 2025Updated 10 months ago
• linoscope / okasaki-book-ocaml

  View on GitHub
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Jun 13, 2021Updated 4 years ago
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• kayceesrk / cs6225_s21_iitm

  View on GitHub
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆13Apr 28, 2021Updated 4 years ago
• alpha-convert / delta

  View on GitHub
  Implementation of the Delta Language
  ☆13Mar 18, 2024Updated 2 years ago
• fpottier / pprint

  View on GitHub
  A pretty-printing combinator library for OCaml
  ☆50Aug 7, 2024Updated last year
• draftbit / re-jest

  View on GitHub
  Easier bindings to Jest for ReasonML
  ☆12Oct 17, 2024Updated last year
• janestreet / topological_sort

  View on GitHub
  Topological sort algorithm
  ☆15Jan 15, 2026Updated 2 months ago
• logsem / cerise

  View on GitHub
  Formalisation of a capability machine and principles for reasoning about security properties
  ☆26Mar 12, 2026Updated last week
• secure-foundations / human-eval-verus

  View on GitHub
  ☆23Feb 23, 2026Updated 3 weeks ago
• JetBrains / ot-coq

  View on GitHub
  ot-coq
  ☆17Sep 5, 2023Updated 2 years ago
• FStarLang / steel

  View on GitHub
  The Steel separation logic library for F*
  ☆37Nov 24, 2025Updated 3 months ago
• Mtac2 / Mtac2

  View on GitHub
  ☆56Feb 26, 2026Updated 3 weeks ago
• janestreet / splay_tree

  View on GitHub
  A splay tree implementation.
  ☆14Jan 15, 2026Updated 2 months ago
• imdea-software / htt

  View on GitHub
  Hoare Type Theory
  ☆84Updated this week
• rocq-prover / coq.github.io

  View on GitHub
  Source files of the previous coq.inria.fr website
  ☆18Jan 20, 2025Updated last year
• lpw25 / shifted-names

  View on GitHub
  Coq library for handling names
  ☆19Aug 5, 2022Updated 3 years ago
• dannywillems / dsubml

  View on GitHub
  OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
  ☆13Apr 18, 2017Updated 8 years ago
• secure-foundations / vWasm

  View on GitHub
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆29Aug 30, 2022Updated 3 years ago
• tchajed / coq-ltac2-experiments

  View on GitHub
  All the code I've ever written in Ltac2
  ☆11Jan 19, 2021Updated 5 years ago
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Feb 9, 2026Updated last month
• appliedfm / vstyle-tools

  View on GitHub
  A formatter/linter for Coq source
  ☆14Jan 15, 2022Updated 4 years ago
• strub / elliptic-curves-ssr

  View on GitHub
  A Formal Library about Elliptic Curves for the Mathematical Components Library.
  ☆15Nov 10, 2021Updated 4 years ago
• rocq-community / buchberger

  View on GitHub
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆11Dec 30, 2023Updated 2 years ago
• WasmCert / WasmCert-Coq

  View on GitHub
  A mechanisation of Wasm in Rocq
  ☆114Updated this week
• rocq-community / rocq-lean-import

  View on GitHub
  ☆28Updated this week
• rbardou / red

  View on GitHub
  A command-line text editor in OCaml.
  ☆13Apr 26, 2025Updated 10 months ago
• AndrasKovacs / dtt-rtcg

  View on GitHub
  Demo for dependent types + runtime code generation
  ☆72Feb 18, 2025Updated last year
• CertiRocq / certirocq

  View on GitHub
  A Verified Compiler for Gallina, Written in Gallina
  ☆160Updated this week
• CoqHott / exceptional-tt

  View on GitHub
  A Coq plugin that implements exceptions in Coq
  ☆13Jan 7, 2021Updated 5 years ago
• costa-group / forves

  View on GitHub
  ☆13Nov 19, 2024Updated last year
• spearce / jgit_cassandra

  View on GitHub
  Cassandra based storage layer for JGit
  ☆34Mar 5, 2011Updated 15 years ago
• pedrotst / coquedille

  View on GitHub
  A Coq to Cedille compiler written in Coq
  ☆34Sep 22, 2020Updated 5 years ago
• Deducteam / zenon_modulo

  View on GitHub
  First-order automated theorem prover based on the tableau method
  ☆18Jan 3, 2026Updated 2 months ago