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
  ☆101Updated 7 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• sharkdp / factorization-diagrams
  Interactive factorization diagrams
  ☆31Updated last year
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 10 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆114Updated 4 years ago
• fmthoma / vgrep
  A pager for grep
  ☆105Updated 3 years ago
• begriffs / algorithm-freezer
  Know your algorithms cold!
  ☆29Updated 9 years ago
• tathougies / react.hs
  Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/
  ☆14Updated 10 years ago
• soupi / chip-8
  A CHIP-8 Emulator written in Haskell
  ☆37Updated 7 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• burz / Feval
  evaluation using f-algebras
  ☆23Updated 10 years ago
• ToJans / learninghaskell
  Learning Haskell
  ☆50Updated 9 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 6 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 8 years ago
• gfixler / continou
  Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)
  ☆15Updated 4 months ago
• sirlensalot / tatterdemalion
  Ragged writings on all things
  ☆15Updated 3 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 6 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆255Updated 9 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• SamuelSchlesinger / AutomataTheory
  ☆21Updated 5 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 9 years ago