Alternatives and similar repositories for chearch

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

• barak / lush
  git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation
  ☆21Updated 12 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 9 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• Dyalog / vecdb
  A simple "columnar database" based on memory-mapped files, written in APL
  ☆34Updated 5 years ago
• dylan-hackers / network-night-vision
  IP stack written in Dylan - includes binary parsing and interactive GUI
  ☆25Updated 11 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆109Updated 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
• melsman / aplparse
  APL parser written in Standard ML
  ☆19Updated 9 years ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 6 years ago
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 10 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 8 years ago
• mthom / managed-ctrie
  Garbage collected concurrent hash tries.
  ☆19Updated 8 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated last week
• henrikurms / tail2futhark
  ☆19Updated 6 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last year
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆24Updated 7 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆54Updated 8 years ago