Alternatives and similar repositories for coar

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

• coord-e / thrust

  View on GitHub
  Refinement type checking and inference tool for Rust
  ☆16Feb 7, 2026Updated last week
• hopv / hoice

  View on GitHub
  An ICE-based predicate synthesizer for Horn clauses.
  ☆53Oct 31, 2025Updated 3 months ago
• kiranandcode / guile-ocaml

  View on GitHub
  GNU Guile Scheme bindings for OCaml
  ☆18Aug 5, 2022Updated 3 years ago
• agurfinkel / spacer-on-jupyter

  View on GitHub
  ☆20May 11, 2023Updated 2 years ago
• owl-toolkit / owl

  View on GitHub
  ☆20Jun 12, 2023Updated 2 years ago
• agurfinkel / btor2mlir

  View on GitHub
  BTOR2 MLIR project
  ☆26Jan 17, 2024Updated 2 years ago
• uuverifiers / ostrich

  View on GitHub
  An SMT Solver for string constraints
  ☆48Updated this week
• TermCOMP / TPDB

  View on GitHub
  The Termination Problem Database
  ☆29Aug 20, 2025Updated 5 months ago
• cvndsh / rebus

  View on GitHub
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Aug 13, 2024Updated last year
• catseye / Philomath

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
  ☆16Dec 19, 2023Updated 2 years ago
• bpinaud / Porgy

  View on GitHub
  Visual graph rewriting platform
  ☆10Jun 3, 2025Updated 8 months ago
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated last year
• j-towns / flipper

  View on GitHub
  Reversible programming in Agda
  ☆13Jun 22, 2023Updated 2 years ago
• cucapra / patronus

  View on GitHub
  work in progress, playing around with btor2 in rust
  ☆12Feb 6, 2026Updated last week
• philzook58 / ad-lens

  View on GitHub
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Feb 7, 2020Updated 6 years ago
• ellisk42 / LambdaBeam

  View on GitHub
  ☆13Dec 31, 2023Updated 2 years ago
• caterinaurban / apronpy

  View on GitHub
  ☆10Aug 18, 2025Updated 5 months ago
• jespercockx / popl19-tutorial

  View on GitHub
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Jan 14, 2019Updated 7 years ago
• keigoi / kmclib

  View on GitHub
  ☆13Feb 28, 2022Updated 3 years ago
• Chronosymbolic / Chronosymbolic-Learning

  View on GitHub
  Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
  ☆11Aug 4, 2024Updated last year
• belfortlabs / hello-fpga

  View on GitHub
  Belfort FPGA acceleration for TFHE-rs; for demo use on AWS
  ☆23Dec 8, 2025Updated 2 months ago
• uuverifiers / eldarica

  View on GitHub
  The Eldarica model checker
  ☆100Feb 3, 2026Updated last week
• rems-project / cn

  View on GitHub
  CN separation logic refinement type system for C
  ☆44Feb 3, 2026Updated last week
• vellvm / ctrees

  View on GitHub
  An itree-like data-structure to additionally support internal non-determinism
  ☆20Nov 25, 2025Updated 2 months ago
• yihozhang / most-influential-pl-papers

  View on GitHub
  Most influential papers in programming languages
  ☆59Jan 20, 2025Updated last year
• ufmg-smite / carcara

  View on GitHub
  ☆40Updated this week
• dwarfmaster / commutative-diagrams

  View on GitHub
  A coq plugin to deal with commutative diagrams
  ☆23Jul 6, 2025Updated 7 months ago
• logsem / iris-lecture-notes

  View on GitHub
  ☆15Jul 24, 2024Updated last year
• neilgall / KotlinKanren

  View on GitHub
  Port of SwiftyKanren to Kotlin
  ☆18Feb 8, 2021Updated 5 years ago
• xavierleroy / canonical-binary-tries

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

  View on GitHub
  A formally verified implementation of differential dynamic logic in Coq
  ☆18May 16, 2022Updated 3 years ago
• bzhan / holpy

  View on GitHub
  Implementation of higher-order logic in Python
  ☆67Feb 25, 2023Updated 2 years ago
• hopv / MoCHi

  View on GitHub
  MoCHi: Model Checker for Higher-Order Programs
  ☆43Apr 19, 2025Updated 9 months ago
• tech-srl / weighted_lstar

  View on GitHub
  implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
  ☆18Jan 8, 2020Updated 6 years ago
• sosy-lab / sv-witnesses

  View on GitHub
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Sep 24, 2022Updated 3 years ago
• yallop / ocaml-flap

  View on GitHub
  A deterministic parser with fused lexing
  ☆75Jul 1, 2023Updated 2 years ago
• s-falke / kittel-koat

  View on GitHub
  KITTeL/KoAT
  ☆21Dec 19, 2018Updated 7 years ago
• joscoh / why3-semantics

  View on GitHub
  Formal Semantics for Why3
  ☆19Sep 28, 2025Updated 4 months ago
• xavierleroy / cdf-program-logics

  View on GitHub
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆41Apr 14, 2021Updated 4 years ago