Alternatives and similar repositories for message-from-space

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

• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆66Updated 10 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 11 months ago
• stefan-hoeck / idris2-pack-db
  ☆27Updated this week
• jaredly / unison.rs
  ☆69Updated 2 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 7 months ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• lexi-lambda / lexi-lambda.github.io
  ☆35Updated 2 months ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆38Updated 2 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆27Updated 2 months ago
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 7 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated last month
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆17Updated 6 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 5 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆74Updated 7 months ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 2 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆33Updated 10 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated 3 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated last month
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆15Updated 3 years ago