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
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 4 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 4 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 10 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated 2 months ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 5 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• repos-bitc / bitc
  The BitC Programming Language (unofficial, unaffiliated mirror)
  ☆26Updated 13 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• smarr / RoarVM
  RoarVM is a manycore Smalltalk Virtual Machine
  ☆244Updated 12 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 6 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• petermichaux / royal-scheme
  Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.
  ☆78Updated 13 years ago
• Dyalog / vecdb
  A simple "columnar database" based on memory-mapped files, written in APL
  ☆33Updated 5 years ago
• swdunlop / WaspVM
  The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF
  ☆107Updated 7 years ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆41Updated 4 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 4 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 13 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• droyo / APL
  UTF8 APL interpreter
  ☆25Updated 8 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated this week
• lambertjamesd / zen-lang
  An experimental language with compile time bounds checking
  ☆14Updated 6 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 13 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• eholk / elegant-weapons
  An R6RS framework for creating compilers that target C.
  ☆116Updated 10 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 7 months ago