bazqux / bazqux-urweb
Ur/Web part of BazQux Reader sources
☆82Updated 3 years ago
Alternatives and similar repositories for bazqux-urweb:
Users that are interested in bazqux-urweb are comparing it to the libraries listed below
- Static blog generator in Idris.☆39Updated 10 years ago
- QuickCheck extras.☆29Updated 5 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- GNU bash backend for Idris☆53Updated 6 years ago
- N2O in Haskell☆29Updated 8 years ago
- ☆13Updated 10 years ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated last month
- Translate Pascal into Haskell☆51Updated 5 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- A functional web framework☆34Updated 3 years ago
- Haskell Extensible Shell☆68Updated 4 years ago
- A simple, flexible and composable web-router☆85Updated 5 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 9 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- Model-view-controller☆63Updated 2 years ago
- Server for stable, curated Haskell package sets☆108Updated 2 weeks ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- An experimental native Haskell graph database☆61Updated 6 years ago
- An extension to Data.Serialize with built-in version control☆59Updated this week
- A programming language that runs in Haskell's type system.☆251Updated 8 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- A pure Haskell implementation of Datalog☆104Updated 4 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 8 years ago
- Transactional monadic actions on top of PostgreSQL.☆60Updated 2 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago