Alternatives and similar repositories for Choco

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

• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆35Updated 9 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 8 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago