Alternatives and similar repositories for message-from-space:

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

• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 10 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 2 weeks ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆77Updated 2 years ago
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated 2 months ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• vincenthz / hs-cli
  Command Line Interface Utility (Printing, Formatting, Options parsing) for Haskell
  ☆23Updated 5 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated 2 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 7 years ago
• purescript / purescript-effect
  The Effect monad, for handling native side effects
  ☆53Updated 2 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated this week
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 5 months ago
• racket / parser-tools
  ☆13Updated last month
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 6 months ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• purescript / purescript-foreign-object
  Functions for working with homogeneous JavaScript objects
  ☆28Updated 2 years ago
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆89Updated 3 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 2 months ago
• sordina / japl
  Font for turning J into APL
  ☆12Updated 6 years ago