Alternatives and similar repositories for drahko

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

• edwinb / States
  State machines in Idris
  ☆37Updated 9 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆70Updated 4 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 8 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• hailstorm-hs / hailstorm
  Haskell distributed stream processing with exactly-once semantics
  ☆92Updated 11 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆32Updated 6 years ago
• liufengyun / stoic
  a capability-based system
  ☆41Updated 7 years ago
• jameshaydon / idris-graphql
  Idris GraphQL
  ☆16Updated 8 years ago
• slamdata / truffled-purescript
  ☆92Updated 10 years ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆223Updated 7 years ago
• idris-industry / idris-ffi-example
  A minimal example of the Idris C FFI
  ☆14Updated 10 years ago
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 7 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• migamake / json-autotype
  Automatic Haskell type inference from JSON input
  ☆149Updated 2 years ago
• cb372 / intellij-idris
  ☆15Updated 9 years ago
• doofin / differentiable-idris
  dependent types meets deep learning
  ☆44Updated 7 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆38Updated 3 years ago
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Updated 7 years ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆126Updated 3 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 7 years ago
• nikita-volkov / refined
  Refinement types with static checking
  ☆191Updated last year
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 9 years ago
• pheymann / specdris
  A test framework for Idris
  ☆55Updated 6 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 5 years ago
• davidfstr / idris-insertion-sort
  Provably correct implementation of insertion sort in Idris.
  ☆31Updated 4 years ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 6 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated 3 months ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 6 years ago