Alternatives and similar repositories for robotquest:

Users that are interested in robotquest are comparing it to the libraries listed below

• DiamondLovesYou / rust-pnacl-hello-world
  A simple PNaCl app (in Rust!) that prints "Hello, world!" on Chrome's developer console.
  ☆14Updated 9 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• jaredloomis / Haskell-OpenGL
  A strongly-typed, functional rendering/game engine
  ☆26Updated 10 years ago
• doppioslash / CastleOfElm
  Roguelike for 7DRL make in Elm
  ☆30Updated 9 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• norm2782 / NanoProlog
  ☆17Updated 2 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• blitzcode / ray-marching-distance-fields
  Haskell and GLSL program containing my distance field / ray marching related experiments
  ☆35Updated 9 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• noteed / language-glsl
  Haskell package for representation, parsing, and pretty-printing of GLSL
  ☆31Updated last year
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆29Updated last week
• gaborcs / lambda-terminal
  The future of programming?
  ☆12Updated 6 years ago
• texodus / forml
  A programming language
  ☆77Updated 11 years ago
• ninegua / reduxer
  An interactive beta reduction calculator for lambda calculus
  ☆11Updated 6 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• boomshroom / NovaLang
  A Haskell derived programming language for systems development.
  ☆14Updated 6 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• noteed / smallpt-hs
  A Haskell port of the C++ smallpt path tracer
  ☆15Updated 4 years ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 6 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated last year
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 12 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 2 years ago
• C4Cypher / Apollo-lander
  Lua implemented in Mercury
  ☆14Updated last year