Alternatives and similar repositories for message-from-space:

Users that are interested in message-from-space are comparing it to the libraries listed below

• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆75Updated last year
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 9 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆20Updated 2 weeks ago
• lexi-lambda / lexi-lambda.github.io
  ☆32Updated 2 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated 4 months ago
• sordina / japl
  Font for turning J into APL
  ☆12Updated 6 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆58Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• purescript / purescript-effect
  The Effect monad, for handling native side effects
  ☆53Updated 2 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• racket / parser-tools
  ☆12Updated 2 months ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 3 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 4 months ago
• deech / shen-rust
  ☆35Updated 5 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated 2 weeks ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆15Updated 4 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆31Updated 4 years ago
• clintonmead / haskell_bits
  ☆54Updated 4 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago