Alternatives and similar repositories for verigraph

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

• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆82Updated 8 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated last year
• clf / celf
  ☆60Updated 6 years ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆22Updated 11 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 5 months ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• andrejbauer / marshall
  Real number computation software
  ☆126Updated 2 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 6 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 9 months ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 2 months ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆83Updated 9 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆26Updated 10 years ago
• david-christiansen / epigram1
  A version of Epigram 1 that can run with newer GHCs
  ☆53Updated 8 years ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 7 years ago
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 13 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 4 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• plum-umd / cgc
  Constructive Galois connections
  ☆34Updated 7 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 7 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Updated 3 months ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 10 years ago
• xgrommx / agda-ecosystem
  ☆31Updated 7 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆43Updated 8 years ago