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
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 4 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 6 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 months ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• briantrice / slate-language
  The Slate programming language
  ☆149Updated 2 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 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
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 5 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆18Updated 10 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 17 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 2 weeks ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆24Updated 7 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 5 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 13 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆61Updated 5 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• smarr / RoarVM
  RoarVM is a manycore Smalltalk Virtual Machine
  ☆244Updated 12 years ago
• andychu / bwk
  Kernighan's Awk a.k.a. "One True Awk"
  ☆56Updated 9 years ago
• barak / lush
  git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation
  ☆21Updated 13 years ago
• graydon / monotone
  distributed revision control system -- historical snapshot
  ☆78Updated 11 years ago
• repos-bitc / bitc
  The BitC Programming Language (unofficial, unaffiliated mirror)
  ☆26Updated 13 years ago
• kerneis / cpc
  Continuation Passing C
  ☆115Updated 6 years ago
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 10 years ago