exercism / coq

Related projects: ⓘ

• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆68Updated 2 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 3 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 6 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆22Updated 4 years ago
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆65Updated 2 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 8 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated this week
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 8 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• frelindb / agsyHOL
  ☆22Updated 8 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆24Updated 9 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated this week
• ericfinster / opetopic
  Web based opetopic editor
  ☆34Updated 4 years ago
• ivanperez-keera / SpaceInvaders
  A Haskell game written in Yampa
  ☆25Updated 6 months ago
• freebroccolo / yggdrasil-oldish
  ☆37Updated this week
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated last year
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆35Updated 5 years ago
• agda / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆41Updated 9 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆87Updated 2 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• ct-gradual-typing / Papers
  The Combination of Dynamic and Static Typing from a Categorical Perspective
  ☆10Updated 6 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 9 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆33Updated 2 years ago
• david-christiansen / epigram1
  A version of Epigram 1 that can run with newer GHCs
  ☆52Updated 7 years ago
• associahedron / HoTT-Idris
  ☆63Updated this week