Alternatives and similar repositories for chearch

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

• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 months ago
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 10 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 5 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 3 months ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 4 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 6 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• ktye / iv
  APL interpreter and stream processor
  ☆134Updated 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 3 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated last month
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• repos-bitc / bitc
  The BitC Programming Language (unofficial, unaffiliated mirror)
  ☆26Updated 13 years ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆18Updated 10 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆106Updated last year
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• kerneis / cpc
  Continuation Passing C
  ☆115Updated 6 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 3 months ago