andyarvanitis / idris-golangLinks
☆16Updated 10 years ago
Alternatives and similar repositories for idris-golang
Users that are interested in idris-golang are comparing it to the libraries listed below
Sorting:
- ☆23Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- A natural transformation package☆16Updated 7 months ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 9 years ago
- A Go backend for Idris☆15Updated 7 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Updated 10 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Lens powered regular expression☆16Updated 4 years ago
- Hackage search engine☆56Updated 7 years ago
- A minimal Haskell web-framework based on the WAI web server interface.☆39Updated 2 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Updated 10 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Updated 7 years ago
- A nullary type class for partial functions☆15Updated 7 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 6 years ago
- Flush system metrics to statsd☆26Updated 5 months ago
- Code samples inspiring language design☆23Updated 9 years ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Morte IDE☆29Updated 6 months ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Dynamic network FRP with events and continuous values☆52Updated 5 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- WAI Request Throttling Middleware☆15Updated last year
- Yet another concurrent playground☆33Updated 9 years ago