vmchale / coronavirusLinks
covid-19 data in J
☆16Updated 4 years ago
Alternatives and similar repositories for coronavirus
Users that are interested in coronavirus are comparing it to the libraries listed below
Sorting:
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- A simple build system for Idris☆22Updated 4 years ago
- ☆23Updated 8 years ago
- Invertible parsing for S-expressions☆34Updated last week
- ☆45Updated 2 years ago
- All the Transient libraries☆44Updated last week
- GRIN backend for Idris☆50Updated 5 years ago
- Core modules for a blazing fast markup combinator library☆24Updated 8 months ago
- the dynabook but for haskell☆23Updated 6 years ago
- Focused domain model declaration toolkit for Haskell☆49Updated 2 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 5 years ago
- Idris Todo web application example☆41Updated 3 years ago
- Morte IDE☆29Updated 10 months ago
- So, you want to write a DSL interpreter...☆25Updated 7 years ago
- Dhall support for the DOT language for graphviz☆38Updated 3 years ago
- Dhall helpers for github actions☆54Updated 2 years ago
- ☆44Updated 3 years ago
- Lambda calculus go brrrr☆31Updated 2 years ago
- ☆40Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 7 years ago
- Jupyter notebooks☆58Updated 2 months ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Lua parser and pretty-printer☆15Updated last year
- PoC for Object Oriented Haskell☆21Updated 5 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 5 years ago
- A template for idris projects☆11Updated 4 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago