Alternatives and similar repositories for tlhydra:

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

• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated 2 weeks ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 2 years ago
• danilkolikov / categories
  Category Theory
  ☆19Updated 6 years ago
• DoctorRyner / gimel
  A PureScript UI library built upon the react
  ☆10Updated 2 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• cblp / crdt
  ☆43Updated 4 years ago
• justinwoo / purescript-bismuth
  A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes
  ☆19Updated 7 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 6 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 4 years ago
• eraserhd / Idris-book
  Idris for Everybody
  ☆9Updated 7 years ago
• denisshevchenko / breadu.info
  Bread Unit calculator
  ☆33Updated 5 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆26Updated 2 years ago
• purescript-deprecated / purescript-maps
  ☆33Updated 4 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 8 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• davidfstr / idris-insertion-sort
  Provably correct implementation of insertion sort in Idris.
  ☆28Updated 3 years ago
• nponeccop / HNC
  HN Compiler
  ☆62Updated 5 years ago
• serokell / rocksdb-haskell
  Haskell bindings to RocksDB (http://rocksdb.org)
  ☆27Updated 6 years ago
• ku-fpg / sunroof-compiler
  Monadic Javascript Compiler
  ☆73Updated 8 years ago
• andreypopp / purescript-node-thunk
  Node callbacks as thunks
  ☆20Updated 10 years ago
• fpco / ghcjs-react
  React bindings for GHCJS
  ☆48Updated 9 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 4 months ago
• xgrommx / idris-ecosystem
  ☆47Updated 7 years ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆48Updated 9 years ago
• fizruk / lxc
  High level Haskell bindings to LXC (Linux containers).
  ☆47Updated 9 years ago
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆59Updated 2 years ago
• JoeyEremondi / haskelm
  Haskell to Elm translation using Template Haskell. Contains both a library and executable.
  ☆49Updated 7 years ago
• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago