bazqux / bazqux-urwebLinks
Ur/Web part of BazQux Reader sources
☆82Updated 4 years ago
Alternatives and similar repositories for bazqux-urweb
Users that are interested in bazqux-urweb are comparing it to the libraries listed below
Sorting:
- Server for stable, curated Haskell package sets☆109Updated this week
- Static blog generator in Idris.☆39Updated 10 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated last month
- A hip inductive theorem prover!☆89Updated 3 years ago
- ☆13Updated 11 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 10 years ago
- Model-view-controller☆64Updated 2 years ago
- Monitor cyclomatic complexity in Haskell programs☆98Updated 6 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 3 months ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- Jupyter notebooks☆58Updated 6 months ago
- playground for working with succinct data structures☆97Updated 9 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- ☆33Updated 9 years ago
- N2O in Haskell☆29Updated 9 years ago
- Haskell clone of Boundary's k-ordered unique id service☆40Updated 7 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- A functional web framework☆34Updated 3 years ago
- 2048 in Idris☆122Updated 7 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 9 years ago
- ☆94Updated 8 years ago
- 📚 A softer alternative to Haddock☆106Updated 5 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago