bazqux / bazqux-urwebLinks
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
Sorting:
- Static blog generator in Idris.☆39Updated 10 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- Transactional monadic actions on top of PostgreSQL.☆59Updated 3 years ago
- Model-view-controller☆64Updated 2 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- A git-compatible content tracker in Haskell.☆67Updated 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
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- N2O in Haskell☆29Updated 9 years ago
- Experimental Malfunction backend for Idris☆82Updated 6 years ago
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- Fast binary serialization in Haskell☆109Updated 5 months ago
- Hackage search engine☆56Updated 7 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 2 months ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Updated 9 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- ☆94Updated 8 years ago