Alternatives and similar repositories for chearch:

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

• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• hpc / libcircle
  An API to provide an efficient distributed queue on a cluster. Libcircle is currently used in production to quickly traverse and perform …
  ☆98Updated 4 years ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆18Updated 9 years ago
• barak / lush
  git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation
  ☆22Updated 12 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• jkff / greg
  A very fast lightweight distributed logger with a high-precision global time axis
  ☆39Updated 9 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 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
• 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
• andrewchambers / qc
  quick c
  ☆35Updated 2 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 7 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• lkuper / dissertation
  Exactly what it says on the tin.
  ☆20Updated 7 years ago
• atdt / snoflake
  A JavaScript runtime for the SNOBOL4 programming language
  ☆18Updated 3 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 3 years ago
• LouisJenkinsCS / Distributed-Data-Structures
  [GSoC] Distributed Data Structures - Collections Framework for Chapel language
  ☆15Updated 7 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• Dyalog / vecdb
  A simple "columnar database" based on memory-mapped files, written in APL
  ☆33Updated 4 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago