Alternatives and similar repositories for tlhydra

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

• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 9 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 6 years ago
• danilkolikov / categories
  Category Theory
  ☆19Updated 6 years ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated last week
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• bodil / purescript-kanren
  Relational programming for PureScript
  ☆17Updated 8 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• purescript-deprecated / purescript-maps
  ☆33Updated 4 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• nponeccop / HNC
  HN Compiler
  ☆61Updated 6 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• justinwoo / call-ps-from-js
  this repo demonstrates calling purescript from javascript through the output.
  ☆11Updated 7 years ago
• UnkindPartition / freemonad-benchmark
  ☆24Updated 8 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆47Updated 3 years ago
• agrafix / purescript-apparch
  PureScript application layout pattern, derived from the Elm Architecture
  ☆18Updated 9 years ago
• purescript-node / purescript-node-http
  A wrapper for Node's HTTP APIs
  ☆40Updated last year
• bodil / purescript-typelevel
  Type level natural numbers and booleans
  ☆34Updated 5 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆82Updated 7 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 6 years ago
• cblp / crdt
  ☆43Updated 4 years ago
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 9 years ago
• ku-fpg / sunroof-compiler
  Monadic Javascript Compiler
  ☆73Updated 9 years ago
• DoctorRyner / gimel
  A PureScript UI library built upon the react
  ☆10Updated 3 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• hdgarrood / purescript-sequences
  Various efficient-ish sequence types for PureScript.
  ☆47Updated last year
• justinwoo / purescript-bismuth
  A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes
  ☆19Updated 7 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆20Updated 7 years ago