Alternatives and similar repositories for parachuting-robots

Users that are interested in parachuting-robots are comparing it to the libraries listed below

• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• burz / Feval
  evaluation using f-algebras
  ☆23Updated 10 years ago
• sharkdp / factorization-diagrams
  Interactive factorization diagrams
  ☆31Updated 2 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 10 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 8 years ago
• tathougies / react.hs
  Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/
  ☆14Updated 10 years ago
• ToJans / learninghaskell
  Learning Haskell
  ☆50Updated 10 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• soupi / chip-8
  A CHIP-8 Emulator written in Haskell
  ☆37Updated 8 years ago
• fmthoma / vgrep
  A pager for grep
  ☆106Updated 4 years ago
• jekor / redo
  djb's redo implementation in Haskell (for Haskell from Scratch video series)
  ☆148Updated 8 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆116Updated 4 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆256Updated 9 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• diku-kmc / kleenexlang
  The Kleenex programming language
  ☆56Updated last year
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• jiahao / backus-dijkstra-letters-1979
  Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…
  ☆110Updated 9 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆159Updated 6 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated last year
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆97Updated 10 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆182Updated 6 years ago
• ehud / MIU
  MIU from GEB, circa 1980
  ☆16Updated 8 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆139Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• sirlensalot / tatterdemalion
  Ragged writings on all things
  ☆15Updated 3 years ago
• zarkzork / servasm
  X86_64 Linux webserver in assembler
  ☆107Updated 10 years ago