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
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 10 years ago
• mauke / poly.poly
  Polyglots
  ☆83Updated 9 years ago
• soupi / chip-8
  A CHIP-8 Emulator written in Haskell
  ☆37Updated 7 years ago
• sharkdp / factorization-diagrams
  Interactive factorization diagrams
  ☆31Updated last year
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 6 years ago
• burz / Feval
  evaluation using f-algebras
  ☆23Updated 9 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• wyager / Example-Distributed-App
  An example distributed systems application in Haskell using Cloud Haskell
  ☆69Updated 4 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆255Updated 9 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• tathougies / react.hs
  Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/
  ☆14Updated 10 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• fmthoma / vgrep
  A pager for grep
  ☆105Updated 3 years ago
• ToJans / learninghaskell
  Learning Haskell
  ☆49Updated 9 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• jekor / redo
  djb's redo implementation in Haskell (for Haskell from Scratch video series)
  ☆147Updated 7 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆158Updated 6 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
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆99Updated 9 months ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆114Updated 4 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago