Alternatives and similar repositories for dependent-haskell

Users that are interested in dependent-haskell are comparing it to the libraries listed below

• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆72Updated 6 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated 2 months ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆81Updated last year
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 6 years ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 8 years ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 11 months ago
• bravit / tt-ghc-exercises
  ☆28Updated 7 years ago
• natefaubion / purescript-typelevel-eval
  Higher order functional programming in PureScript's type system
  ☆43Updated 3 years ago
• Icelandjack / Capabilities
  A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…
  ☆27Updated 7 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 2 months ago
• MonoidMusician / dhall-purescript
  Dhall implementation in PureScript
  ☆96Updated 2 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆162Updated 2 weeks ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 7 months ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆104Updated 7 years ago
• jonathanknowles / haskell-calculator
  Evaluation and visualization of simple arithmetic expressions in Haskell.
  ☆24Updated 8 years ago
• andyarvanitis / purescript-native-cpp-ffi
  C++ foreign export implementations for the standard library
  ☆22Updated 6 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 8 years ago
• codedownio / aeson-typescript
  Generate TypeScript definition files from your ADTs
  ☆63Updated last week
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆70Updated 2 weeks ago
• ghcjs / ghcjs-base
  base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC
  ☆46Updated last month
• sjoerdvisscher / one-liner
  Constraint-based generics
  ☆49Updated last year
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 11 years ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆60Updated 3 weeks ago
• ku-fpg / sunroof-compiler
  Monadic Javascript Compiler
  ☆73Updated 9 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 5 years ago
• NorfairKing / easyspec
  Signature inference for Functional Property Discovery in Haskell
  ☆38Updated 7 years ago
• qfpl / propagator-examples
  ☆38Updated 5 years ago