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:
- ☆23Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- An HTTP library for idris☆39Updated 6 years ago
- A simple build system for Idris☆22Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 10 months ago
- Exercism exercises in Idris.☆35Updated 2 months ago
- Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.☆18Updated 6 years ago
- Lua parser and pretty-printer☆15Updated last year
- ♾️ Sized list☆46Updated last year
- Invertible parsing for S-expressions☆34Updated 5 months ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Idris GraphQL☆16Updated 7 years ago
- PoC for Object Oriented Haskell☆21Updated 5 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- Small random demonstrations of code☆12Updated 5 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- All the Transient libraries☆41Updated last week
- ☆44Updated 2 years ago
- Idris Todo web application example☆42Updated 2 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- An implementation of Flatris using Haskell and Miso☆32Updated 5 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 7 years ago
- Recursion schemes for Idris☆64Updated 7 years ago