Alternatives and similar repositories for cobra

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

• Blaisorblade / abt
  Implementing Abstract Binding Trees (in Scala, ...)
  ☆19Updated 9 years ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆25Updated 10 years ago
• justjoheinz / idris-httpclient
  A http client for Idris based on libcurl
  ☆10Updated 9 years ago
• hkuplg / fcore
  Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
  ☆45Updated 9 years ago
• LaifsV1 / YUP
  YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…
  ☆36Updated 2 years ago
• precog / purescript-mra
  A definition and reference implementation for MRA in PureScript.
  ☆17Updated 7 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• Saizan / parametric-demo
  ☆12Updated 5 years ago
• nbenton / coqdomains
  Domain theory and denotational semantics in Coq
  ☆10Updated 10 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆32Updated 8 years ago
• TimRichter / CId
  a little category theory in Idris
  ☆10Updated 8 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 8 months ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆25Updated 3 weeks ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• atzeus / reflectionwithoutremorse
  Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection
  ☆66Updated 3 years ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 9 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 7 months ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆40Updated 10 years ago
• epfl-lara / SystemFR
  System FR: Formalized Foundations for Stainless
  ☆9Updated 3 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated this week
• david-christiansen / derive-all-the-instances
  Work on type class deriving with elaboration reflection
  ☆32Updated 6 years ago
• ekmett / magpie
  an exploration of subtyping-based category theory in scala
  ☆25Updated 14 years ago
• thsutton / cha
  A port of miniprl to Haskell with co-/inductive types bolted on the side.
  ☆22Updated 9 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago