bazqux / bazqux-urwebLinks
Ur/Web part of BazQux Reader sources
☆84Updated 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:
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Hackage search engine☆56Updated 7 years ago
- Model-view-controller☆64Updated 3 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- The Haskell Refactoring Tool☆138Updated 6 years ago
- A dependency manager for Haskell☆97Updated 3 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 9 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Server for stable, curated Haskell package sets☆109Updated last month
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Dive into GHC☆82Updated 9 years ago
- Tagged Haskell learning resources index☆21Updated 9 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago
- playground for working with succinct data structures☆97Updated 10 years ago
- Describe Haskell code in GHCi☆72Updated 8 years ago
- A functional web framework☆34Updated 3 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 10 years ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- Edison: A Library of Efficient Data Structures☆56Updated 8 months ago
- The Haskell Refactoring Tool☆138Updated 8 years ago
- A Dynamic Reconfiguration Library for Haskell Programs☆93Updated 3 months ago
- Haskell Extensible Shell☆68Updated 5 years ago