Alternatives and similar repositories for coronavirus

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

• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 11 months ago
• sordina / japl
  Font for turning J into APL
  ☆12Updated 7 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 7 years ago
• deech / LeftPad
  ☆23Updated 8 years ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 7 years ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Updated last year
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆30Updated 7 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 9 months ago
• jprupp / nqe
  Concurrency library inspired by Erlang/OTP
  ☆19Updated 8 months ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆56Updated 10 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated 2 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• feeley / etos
  Erlang to Scheme compiler
  ☆39Updated 13 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• lexi-lambda / talks
  ☆45Updated 2 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆35Updated last year
• leon-vv / Todo
  Idris Todo web application example
  ☆41Updated 2 years ago
• eraserhd / Idris-json
  Formally verified JSON parser
  ☆15Updated 8 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 11 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆42Updated 2 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 10 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 11 months ago
• micahhahn / FunctionalGeometry
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Updated 8 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆43Updated last week
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated 3 weeks ago