Alternatives and similar repositories for message-from-space

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

• deech / LeftPad
  ☆23Updated 7 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• lexi-lambda / lexi-lambda.github.io
  ☆36Updated 5 months ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 4 months ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆38Updated 3 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 6 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆67Updated last year
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆49Updated last week
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 7 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 9 months ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 10 months ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆124Updated 6 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 5 years ago
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 7 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated 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 10 months ago
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated 2 years ago
• jaredly / unison.rs
  ☆70Updated 3 years ago
• srid / rib
  Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
  ☆118Updated 3 years ago
• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆74Updated 10 months ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• stefan-hoeck / idris2-pack-db
  ☆29Updated this week