codinuum/cca 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

codinuum/cca

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/codinuum/cca)

Close

codinuum / ccaView on GitHubMore

• External links
• Readme badge

Code Continuity Analysis Framework

☆23Mar 3, 2025Updated last year

Alternatives and similar repositories for cca

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

• termite-analyser / llvm2smt

  View on GitHub
  OCaml library to transform an Llvm control flow graph in an SMT formula.
  ☆13Apr 20, 2018Updated 7 years ago
• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 10 months ago
• Chris00 / ocaml-interval

  View on GitHub
  An interval library for OCaml
  ☆16Dec 9, 2022Updated 3 years ago
• LaurentMazare / ocaml.jl

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

  View on GitHub
  A simple command line tool for statistical calculation
  ☆10May 12, 2018Updated 7 years ago
• mrvn / ocaml-qt5

  View on GitHub
  bindings for QT5 widgets
  ☆10Mar 25, 2016Updated 9 years ago
• zshipko / ocaml-vec

  View on GitHub
  Example OCaml library written using Rust and ocaml-rs
  ☆16Mar 10, 2021Updated 5 years ago
• zshipko / resp

  View on GitHub
  OCaml library for building clients and servers that communicate using the Redis Serialization Protocol
  ☆12Nov 6, 2021Updated 4 years ago
• mgree / kmt

  View on GitHub
  Kleene algebra modulo theories
  ☆27Nov 21, 2022Updated 3 years ago
• marcoonroad / ocaml-cuid

  View on GitHub
  CUID generator for OCaml.
  ☆19May 7, 2022Updated 3 years ago
• besport / ocsigen-i18n

  View on GitHub
  Internationalisation library for Web applications (server and/or client)
  ☆13Dec 9, 2025Updated 3 months ago
• MisterDA / ocaml-splash

  View on GitHub
  An Awesome OCaml splashscreen
  ☆10Apr 1, 2022Updated 3 years ago
• hannesm / ocaml-hkdf

  View on GitHub
  HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)
  ☆12Sep 4, 2024Updated last year
• fxfactorial / ocaml-plist

  View on GitHub
  Create, parse Apple Plists, plays nicely with Yojson
  ☆10Jan 19, 2017Updated 9 years ago
• jonludlam / ocaml-iso-filesystem

  View on GitHub
  Library for manipulating ISO images
  ☆12Jun 28, 2019Updated 6 years ago
• andreas / irmin-fdb

  View on GitHub
  Irmin store backed by FoundationDB
  ☆12Nov 19, 2019Updated 6 years ago
• ocaml / camlp-streams

  View on GitHub
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Oct 14, 2025Updated 5 months ago
• talex5 / qubes-test-mirage

  View on GitHub
  Scripts I use to test Mirage unikernels on QubesOS
  ☆10Mar 26, 2020Updated 5 years ago
• mirage / ocaml-hvsock

  View on GitHub
  Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)
  ☆16Aug 24, 2025Updated 6 months ago
• mirage / ocaml-pcap

  View on GitHub
  OCaml code for generating and analysing pcap (packet capture) files
  ☆20May 31, 2025Updated 9 months ago
• arlencox / QUICr

  View on GitHub
  QUICr parametric abstract domain for sets
  ☆12Jul 2, 2015Updated 10 years ago
• ocaml-multicore / ocaml-iocp

  View on GitHub
  OCaml bindings to Windows' IOCP API
  ☆17Apr 19, 2023Updated 2 years ago
• voodoos / mlts

  View on GitHub
  ☆14Dec 9, 2022Updated 3 years ago
• Drup / functoria-lua

  View on GitHub
  Building Lua interpreters with lot's of functors
  ☆13Jul 31, 2018Updated 7 years ago
• OCamlPro / agrid

  View on GitHub
  agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…
  ☆15Feb 3, 2023Updated 3 years ago
• OCamlPro / ez_cmdliner

  View on GitHub
  Easy Cmdliner
  ☆13Jan 12, 2026Updated 2 months ago
• jfeser / bitarray

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

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• pascutto / cachecache

  View on GitHub
  Efficient caching library for OCaml
  ☆33Sep 27, 2023Updated 2 years ago
• mirage / mirage-xen

  View on GitHub
  Xen core platform libraries for MirageOS
  ☆18Feb 5, 2025Updated last year
• ocurrent / citty

  View on GitHub
  CI in tty
  ☆14Jun 26, 2023Updated 2 years ago
• janestreet / toplevel_expect_test

  View on GitHub
  Toplevel expectation test
  ☆19Jan 15, 2026Updated 2 months ago
• anuragsoni / postgres-protocol

  View on GitHub
  IO independent postgres protocol implementation
  ☆18May 29, 2023Updated 2 years ago
• dividat / ocaml-semver

  View on GitHub
  Semantic version handling for OCaml
  ☆17Apr 15, 2021Updated 4 years ago
• jin / scheme.ml

  View on GitHub
  Scheme (R6RS subset) interpreter written in OCaml
  ☆17Jun 30, 2020Updated 5 years ago
• craigfe / causal-rpc

  View on GitHub
  A traceable distributed computation framework
  ☆23Oct 8, 2019Updated 6 years ago
• TImada / mirage_iperf

  View on GitHub
  iperf like tool on MirageOS
  ☆11Sep 16, 2025Updated 6 months ago
• KaroshiBee / weevil

  View on GitHub
  A debugger for Michelson
  ☆15Aug 7, 2023Updated 2 years ago
• pqwy / ocaml-papi

  View on GitHub
  Performance Application Programming Interface for OCaml
  ☆15Oct 25, 2022Updated 3 years ago