Alternatives and similar repositories for CoqCheatSheet:

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

• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 4 months ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆52Updated last week
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆34Updated 3 years ago
• jozefg / undergraduate-thesis
  A discouraging story.
  ☆15Updated 6 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 9 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆11Updated 7 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 5 months ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 2 years ago
• david-christiansen / idris-interaction.rkt
  A Racket library for interacting with Idris over the IDE protocol
  ☆31Updated 7 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 6 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 8 months ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆64Updated 11 years ago
• sabauma / agda-relation-algebra
  Relational algebra implementation in Agda with simple bindings to SQLITE
  ☆12Updated last year
• Mtac2 / Mtac2
  ☆54Updated 2 months ago
• JacquesCarette / pi-dual
  Collaborative work on reversible computing
  ☆25Updated 3 years ago
• gbaz / mess
  Martin-Löf Extensible Specification and Simulator
  ☆29Updated 9 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago