xran-deex / ats-http
An epoll-based HTTP library for ATS2
☆14Updated 2 years ago
Alternatives and similar repositories for ats-http:
Users that are interested in ats-http are comparing it to the libraries listed below
- Build tool for ATS.☆41Updated 3 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 4 months ago
- ☆18Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Deep evaluation of data structures☆41Updated 8 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Austin's supercompiler work☆21Updated 5 years ago
- Non-empty Vectors☆24Updated 3 weeks ago
- Example uses of linear types☆43Updated 4 years ago
- higher-kinded data☆30Updated last year
- Invertible parsing for S-expressions☆34Updated last month
- An efficient graph library for Haskell☆39Updated 9 months ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- ☆30Updated 6 years ago
- Lua backend for Idris 2☆28Updated 2 years ago
- Automatic type class law checking.☆24Updated 3 months ago
- Session Types with Priority in Linear Haskell☆26Updated 10 months ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago