vmchale / coronavirus

Related projects: ⓘ

• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 4 years ago
• conal / agda-generic-parallel
  ☆13Updated this week
• deech / LeftPad
  ☆23Updated 6 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 9 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆14Updated 4 months ago
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 3 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆31Updated last year
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆29Updated 6 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆55Updated 10 months ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated this week
• isovector / circuitry
  the missing haskell circuit diagram library
  ☆13Updated 3 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• conal / 2017-talk-teaching-new-tricks-to-old-programs
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Updated 6 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆25Updated 3 months ago
• QuentinDuval / IdrisPipes
  A library for composable and effectful production, transformation and consumption of streams of data in Idris
  ☆37Updated 6 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆38Updated last year
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• rootmos / silly-joy
  Interpreter for Joy in Haskell using extensible-effects
  ☆34Updated 7 years ago
• eborden / language-edn
  A Haskell representation of Clojure's EDN
  ☆11Updated 6 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 3 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆21Updated 4 months ago
• laserpants / hashids-haskell
  Haskell port of the Hashids library.
  ☆24Updated 8 months ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago