Alternatives and similar repositories for drahko

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

• 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
• ekmett / cadenza
  every day i'm truffling
  ☆70Updated 4 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆38Updated 3 years ago
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 6 years ago
• idris-industry / idris-ffi-example
  A minimal example of the Idris C FFI
  ☆14Updated 10 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆61Updated 2 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆32Updated 6 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 10 months ago
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 7 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 9 years ago
• jameshaydon / idris-graphql
  Idris GraphQL
  ☆16Updated 7 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• target / theta-idl
  Define communication protocols between applications using algebraic data types.
  ☆47Updated 2 years ago
• michaelt / tagless
  oleg modules
  ☆32Updated 12 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 7 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 7 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• slamdata / truffled-purescript
  ☆92Updated 10 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated last month
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated this week
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated 2 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆89Updated 3 weeks ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆25Updated last week
• hailstorm-hs / hailstorm
  Haskell distributed stream processing with exactly-once semantics
  ☆92Updated 11 years ago