Alternatives and similar repositories for coronavirus

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

• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 10 months ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated last year
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 8 months ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆56Updated 10 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 6 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆41Updated 2 years ago
• id3as / demo-ps
  Skeleton app with contrived client/server examples
  ☆20Updated 3 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆22Updated 11 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 6 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• jprupp / nqe
  Concurrency library inspired by Erlang/OTP
  ☆19Updated 6 months ago
• deech / shen-rust
  ☆35Updated 6 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆30Updated 7 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 9 years ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 8 months ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 6 years ago
• exercism / idris
  Exercism exercises in Idris.
  ☆35Updated last month
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 6 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 5 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 9 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
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 6 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 7 years ago
• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆25Updated 6 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