fu-dietersheim / Blockchain

Related projects ⓘ

Alternatives and complementary repositories for Blockchain

• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 3 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 9 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 7 years ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆24Updated last week
• Trundle / idris-go
  A Go backend for Idris
  ☆15Updated 6 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 6 months ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 3 years ago
• Blaisorblade / abt
  Implementing Abstract Binding Trees (in Scala, ...)
  ☆19Updated 8 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆65Updated last week
• ekmett / auth
  ☆40Updated 6 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆88Updated 3 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• basvandijk / regions
  Provides the region monad for safely opening and working with scarce resources
  ☆30Updated 9 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆31Updated 8 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• sellout / dualizer
  Delete half (minus ε) of your Haskell code!
  ☆30Updated 6 years ago
• eelco / gdiff
  ☆34Updated 9 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 4 years ago
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 8 years ago
• vmchale / edit-distance
  Levenshtein edit distance, packaged for ATS
  ☆11Updated 2 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆26Updated 3 years ago
• kazu-yamamoto / dns
  DNS libary in Haskell
  ☆64Updated 5 months ago
• icicle-lang / icicle-ambiata
  A streaming query language.
  ☆57Updated 4 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 8 years ago
• bobatkey / foveran
  A Dependently Typed Programming Language
  ☆27Updated 4 years ago
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago