Alternatives and similar repositories for geo:

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

• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 8 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆86Updated 5 years ago
• amcphail / lambda
  An untyped lambda calculus interpreter
  ☆12Updated last year
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 9 years ago
• hawkw / mnemosyne
  A functional systems programming language with compile-time memory management
  ☆30Updated 3 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆61Updated 5 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆20Updated 7 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 6 years ago
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated last year
• noteed / language-glsl
  Haskell package for representation, parsing, and pretty-printing of GLSL
  ☆31Updated last year
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 11 years ago
• chip8-rust / chip8-vm
  CHIP-8 virtual machine implementation in the Rust programming language
  ☆13Updated 9 years ago
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆23Updated 3 years ago
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 6 years ago
• neeasade / bspwwm
  currently vaporware
  ☆12Updated 4 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆19Updated 2 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 8 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• kade-robertson / pythuhn
  A Python interpreter for the huh? programming language.
  ☆10Updated 6 years ago
• jeapostrophe / c
  #lang for writing C code
  ☆15Updated 7 years ago
• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated last year
• rain-1 / tests
  tests
  ☆10Updated 6 years ago
• splinterofchaos / Pure
  An almost-pure C++ library for writing functional code.
  ☆37Updated 10 years ago