Alternatives and similar repositories for chearch:

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

• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• barak / lush
  git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation
  ☆22Updated 12 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 2 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 9 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 9 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 8 years ago
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 10 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• mpw / pLucid-osx
  A "port" of plucid that works on OS X
  ☆12Updated 10 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• berkus / anic
  Automatically exported from code.google.com/p/anic
  ☆6Updated 9 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• seanjensengrey / picolisp
  Minimalist-lisp interpreter implementation for UNIX-like systems.
  ☆11Updated 9 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 9 years ago
• pavpanchekha / pylisp
  A small lisp written in Python
  ☆28Updated 9 years ago