sourrust / hyakko
Literate-style Documentation Generator
☆17Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for hyakko
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Yes, really!☆11Updated 9 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- an example airship app☆14Updated 8 years ago
- A nullary type class for partial functions☆15Updated 6 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- Haskell helpers for deploying to Heroku☆18Updated 9 years ago
- ☆23Updated 7 years ago
- Parse/unparse JSON with roundtrip invertible syntax descriptions.☆17Updated 5 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆24Updated 4 years ago
- A playground for type theory implementations in Racket☆20Updated 8 years ago
- http://www.stephendiehl.com/posts/generics.html☆12Updated 8 years ago
- ☆15Updated 7 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 7 years ago
- Command Line Tool for github's pull request reviewing☆8Updated 8 years ago
- Dynamic Scheduling System for the GBT☆15Updated 13 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated last year
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 13 years ago
- An implementation of the Core language☆29Updated 9 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated last month
- Run a program as a daemon☆5Updated 3 years ago
- Event-driven bidirectional channels☆14Updated 8 years ago