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
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated last year
• lexi-lambda / lexi-lambda.github.io
  ☆38Updated 7 months ago
• deech / LeftPad
  ☆23Updated 8 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 8 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 5 years ago
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated 3 years ago
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆26Updated 7 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
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 6 months ago
• clintonmead / haskell_bits
  ☆55Updated 5 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆126Updated 6 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 6 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 4 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 7 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆32Updated 6 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 11 months ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆30Updated 2 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 4 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• chrisdone-archive / sdl2-sprite
  Create and animate sprites easily with sdl2 (Haskell)
  ☆24Updated 7 years ago
• vmchale / madlang
  Madlang is a language for generative literature
  ☆51Updated 7 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆67Updated last year