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 3 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• lexi-lambda / lexi-lambda.github.io
  ☆36Updated 3 months ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆66Updated 11 months ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆27Updated last month
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• deech / LeftPad
  ☆23Updated 7 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 7 months ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆17Updated 6 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆50Updated last month
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 6 months ago
• chrisdone-archive / sdl2-sprite
  Create and animate sprites easily with sdl2 (Haskell)
  ☆24Updated 7 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 8 months ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 5 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆38Updated 3 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 11 months ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• stefan-hoeck / idris2-pack-db
  ☆27Updated last week
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated last year
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 7 years ago
• JonathanLorimer / weft
  GraphQL Schema generation in Haskell
  ☆17Updated 5 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 5 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 5 years ago
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆26Updated 2 months ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆27Updated 9 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 10 months ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 5 years ago