Termina1 / tlhydra
Idris parser and serializer/deserealizer for TL language
☆9Updated 5 years ago
Related projects: ⓘ
- N2O in Haskell☆29Updated 8 years ago
- 🧊 Інститут формальної математики☆35Updated 5 months ago
- Category Theory☆18Updated 5 years ago
- A PureScript UI library built upon the react☆10Updated 2 years ago
- ☆43Updated 3 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 6 years ago
- Provably correct implementation of insertion sort in Idris.☆28Updated 3 years ago
- ☆10Updated this week
- An Idris type provider for communicating type-checkable protocols.☆26Updated 6 years ago
- Js libraries for idris☆48Updated 4 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- STM on Free monads☆23Updated 6 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- HN Compiler☆62Updated 5 years ago
- ☆15Updated this week
- Infer user interfaces from type signatures☆78Updated 6 years ago
- ⭕️ N2O: Haskell Application Server☆47Updated 2 years ago
- Type level natural numbers and booleans☆33Updated 5 years ago
- Node callbacks as thunks☆20Updated 9 years ago
- State machines in Idris☆36Updated 7 years ago
- ☆33Updated 3 years ago
- ☆24Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 6 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 6 months ago
- High level Haskell bindings to LXC (Linux containers).☆46Updated 8 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- Various efficient-ish sequence types for PureScript.☆45Updated 6 months ago
- An approach to user interfaces based in denotational design.☆26Updated last year