Alternatives and similar repositories for loda:

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

• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 5 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆11Updated last week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆33Updated this week
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated last month
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆15Updated 5 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 6 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• catseye / Tamsin
  MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister
  ☆16Updated last year
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 4 years ago
• barakeel / oeis-synthesis
  ☆22Updated last month
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆60Updated this week
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• wolfgangj / wok
  Compiler that has been integrated into Okami now
  ☆24Updated 2 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 9 years ago