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:
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Updated 10 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- ☆23Updated 7 years ago
- JVM implementation in Haskell☆44Updated 9 months ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- JVM code generation☆32Updated 6 years ago
- A natural transformation package☆16Updated 3 months ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- ☆13Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Updated 9 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- A nullary type class for partial functions☆15Updated 7 years ago
- ☆21Updated 9 years ago
- A semantic highlighter for Idris code☆14Updated 7 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Use network sockets together with the Haskell pipes library.☆25Updated 3 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 6 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Morte IDE☆29Updated 2 months ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 6 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- TODO☆10Updated 9 years ago