Alternatives and similar repositories for idris-golang

Users that are interested in idris-golang are comparing it to the libraries listed below

• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated 2 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• GaloisInc / halvm-web
  ☆15Updated 8 years ago
• paf31 / partial
  A nullary type class for partial functions
  ☆15Updated 7 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 3 months ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆21Updated 8 years ago
• k0001 / pipes-network
  Use network sockets together with the Haskell pipes library.
  ☆25Updated 3 years ago
• ekmett / tagged
  phantom types
  ☆38Updated 4 months ago
• deech / LeftPad
  ☆23Updated 7 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• ghcjs / ghcjs-dom-hello
  GHCJS DOM Hello World, an example package
  ☆10Updated last month
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 3 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 8 months ago
• creichert / wai-middleware-throttle
  WAI Request Throttling Middleware
  ☆16Updated 7 months ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 6 years ago
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆16Updated 4 months ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆59Updated last year
• tfausak / monadoc-5
  🔖 Better Haskell documentation.
  ☆17Updated 4 years ago
• himura / lens-regex
  Lens powered regular expression
  ☆16Updated 4 years ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆21Updated 4 months ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• bodil / purescript-kanren
  Relational programming for PureScript
  ☆17Updated 8 years ago
• haskell-github-trust / ekg-statsd
  Flush system metrics to statsd
  ☆26Updated last month
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 9 years ago