Alternatives and similar repositories for coronavirus

Users that are interested in coronavirus are comparing it to the libraries listed below

• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 9 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 4 months ago
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 5 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆26Updated 6 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆30Updated 2 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆19Updated 6 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 10 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆30Updated 7 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• lexi-lambda / talks
  ☆44Updated 2 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆40Updated last year
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆33Updated 10 months ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 4 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 6 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated last year
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 6 months ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• jameshaydon / idris-graphql
  Idris GraphQL
  ☆16Updated 7 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 9 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆41Updated 4 months ago