andyarvanitis / idris-golang

Related projects ⓘ

Alternatives and complementary repositories for idris-golang

• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 3 weeks ago
• deech / LeftPad
  ☆23Updated 6 years ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 10 years ago
• valderman / shellmate
  Write type-safe shell scripts in Haskell
  ☆14Updated 4 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• paf31 / partial
  A nullary type class for partial functions
  ☆15Updated 6 years ago
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 5 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 8 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 9 years ago
• eckart / gl-idris
  ☆13Updated 6 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆48Updated last year
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆15Updated last month
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 3 months ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 6 years ago
• ekmett / tagged
  phantom types
  ☆37Updated 2 months ago
• RyanGlScott / echo
  A cross-platform, cross-console way to handle echoing terminal input
  ☆10Updated 3 years ago
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 3 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 2 months ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆22Updated 8 years ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆20Updated 5 months ago
• joelburget / ghcjs-box
  Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development
  ☆11Updated 9 years ago
• MichelBoucey / cayley-client
  A Haskell client library for Cayley database graph
  ☆14Updated 2 months ago