Alternatives and similar repositories for claims

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

• mirage / ocaml-openflow

  View on GitHub
  ☆12Aug 24, 2014Updated 11 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• philnguyen / z3-rkt

  View on GitHub
  Racket bindings for Z3
  ☆24May 11, 2019Updated 6 years ago
• kframework / matching-logic-prover

  View on GitHub
  ☆15Apr 16, 2021Updated 4 years ago
• jasonhemann / micro-in-mini

  View on GitHub
  an implementation of a microKanren(-like language) in miniKanren
  ☆27Aug 1, 2014Updated 11 years ago
• SkySkimmer / HoTTClasses

  View on GitHub
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆17Dec 9, 2020Updated 5 years ago
• ujamjar / hardcaml-examples

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• huonw / order-stat

  View on GitHub
  Compute order statistics
  ☆15Sep 16, 2023Updated 2 years ago
• yav / simple-smt

  View on GitHub
  ☆22Oct 20, 2025Updated 3 months ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• graydon / z3-rs

  View on GitHub
  ☆24Aug 30, 2018Updated 7 years ago
• ziman / idris-ocaml

  View on GitHub
  OCaml back end for Idris
  ☆22Jan 24, 2018Updated 8 years ago
• mirage / qubes-mirage-skeleton

  View on GitHub
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Nov 25, 2020Updated 5 years ago
• GaloisInc / lean-haskell-bindings

  View on GitHub
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆22Aug 25, 2017Updated 8 years ago
• jwiegley / thinking-with-functions

  View on GitHub
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆25Sep 17, 2025Updated 4 months ago
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago
• uwplse / StructTact

  View on GitHub
  Coq utility and tactic library.
  ☆27Dec 9, 2023Updated 2 years ago
• GaloisInc / jvm-parser

  View on GitHub
  A Haskell parser for JVM bytecode files
  ☆39Jan 12, 2024Updated 2 years ago
• jfdm / idris-config

  View on GitHub
  Parsers for various configuration files written in Idris.
  ☆19Nov 8, 2017Updated 8 years ago
• TyOverby / astar

  View on GitHub
  DEPRICATED
  ☆32May 21, 2018Updated 7 years ago
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41May 1, 2018Updated 7 years ago
• michaelsproul / rust_sequence_trie

  View on GitHub
  Ergonomic trie data structure
  ☆27Oct 30, 2018Updated 7 years ago
• mflatt / not-a-box

  View on GitHub
  ☆58May 5, 2017Updated 8 years ago
• bmsherman / topology

  View on GitHub
  Formal topology (and some probability) in Coq
  ☆31Nov 30, 2018Updated 7 years ago
• QuickChick / Luck

  View on GitHub
  Luck -- A Language for Property-Based Generators
  ☆36Feb 28, 2025Updated 11 months ago
• joom / WangsAlgorithm

  View on GitHub
  A classical propositional theorem prover in Haskell, using Wang's Algorithm.
  ☆36Jun 12, 2019Updated 6 years ago
• fieldstrength / probability

  View on GitHub
  Probabilistic computation in Idris
  ☆33Jul 2, 2019Updated 6 years ago
• rmculpepper / sql

  View on GitHub
  Embedding of some of SQL into Racket
  ☆34Mar 24, 2022Updated 3 years ago
• cstrahan / wiwinwln

  View on GitHub
  What I Wish I Knew While Learning Nix
  ☆34Dec 9, 2021Updated 4 years ago
• fractalide / racket2nix

  View on GitHub
  Take an info.rkt file, produce a info.nix file.
  ☆45Apr 7, 2021Updated 4 years ago
• ergl / crdt-ml

  View on GitHub
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆47Sep 15, 2016Updated 9 years ago
• Doobrovskiy / depthwiseconv1d

  View on GitHub
  Keras 1D Depthwise Convolutional layer
  ☆10May 22, 2020Updated 5 years ago
• aczid / ru_crypto_engineering

  View on GitHub
  Assignments for the cryptography engineering course
  ☆12Dec 17, 2013Updated 12 years ago
• maksimKorzh / bmcp

  View on GitHub
  bare minimum chess program
  ☆11Sep 16, 2020Updated 5 years ago
• mcleod-ideafix / simple_sdram_controller

  View on GitHub
  A very simple SDRAM controller for FPGA written in Verilog. It exposes a SRAM-like interface to the rest of the FPGA fabric
  ☆14Dec 4, 2018Updated 7 years ago
• elementary / fonts

  View on GitHub
  ☆13Sep 10, 2022Updated 3 years ago
• turkey-sui / OKEX-V3-RESTFUL-API-turkey

  View on GitHub
  ☆12Mar 26, 2020Updated 5 years ago
• fordsec / racets

  View on GitHub
  Faceted execution in Racket
  ☆11Sep 11, 2018Updated 7 years ago
• RichardLitt / dbird

  View on GitHub
  Putting eBird on the decentralized web
  ☆10Jan 7, 2023Updated 3 years ago