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
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 2 months ago
- GNU bash backend for Idris☆53Updated 6 years ago
- QuickCheck extras.☆29Updated 5 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- TOML file format parser in Haskell☆38Updated 3 years ago
- ☆94Updated 8 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 2 weeks ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- Dive into GHC☆82Updated 8 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- ☆33Updated 9 years ago
- N2O in Haskell☆29Updated 8 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- An implementation of the Core language☆30Updated 9 years ago
- A Haskell implementation of the Stripe API.☆34Updated 8 years ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- haskell lazy evaluation illustrated☆72Updated 7 years ago
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- Server for stable, curated Haskell package sets☆108Updated last week
- Idris Todo web application example☆42Updated 2 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- Jupyter notebooks☆58Updated 3 months ago
- A hip inductive theorem prover!☆89Updated 3 years ago