vmchale / coronavirusLinks
covid-19 data in J
☆16Updated 3 years ago
Alternatives and similar repositories for coronavirus
Users that are interested in coronavirus are comparing it to the libraries listed below
Sorting:
- Invertible parsing for S-expressions☆34Updated 5 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 11 months ago
- ☆23Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- An HTTP library for idris☆39Updated 6 years ago
- A simple build system for Idris☆22Updated 4 years ago
- ♾️ Sized list☆46Updated last year
- An implementation of Flatris using Haskell and Miso☆32Updated 5 years ago
- Exercism exercises in Idris.☆35Updated 2 weeks ago
- ☆35Updated 6 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- Lua parser and pretty-printer☆15Updated last year
- PoC for Object Oriented Haskell☆21Updated 5 years ago
- ☆14Updated last month
- All the Transient libraries☆41Updated last month
- Fast, CommonMark-compliant Markdown parser written in Racket☆33Updated 11 months ago
- A short guide detailing how to bootstrap PureScript.☆25Updated 6 years ago
- the dynabook but for haskell☆23Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Library for parsing, transforming and producing PDF files☆25Updated 14 years ago
- Dhall support for the DOT language for graphviz☆38Updated 3 years ago
- Idris Todo web application example☆42Updated 2 years ago
- An opinionated OTP framework wrapper☆26Updated 8 months ago
- Formally verified JSON parser☆15Updated 8 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Focused domain model declaration toolkit for Haskell☆47Updated last year
- Algebraic structures for untyped Racket☆77Updated last year
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago