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
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆16Updated 5 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Updated 3 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆33Updated this week
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆28Updated 4 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 3 months ago
• codr7 / cidk
  interpreter devkit
  ☆25Updated 5 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆21Updated 2 years ago
• gurgeh / CodeSpace
  Exploring the space of all possible programs
  ☆27Updated 11 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆15Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 8 months ago
• BastianBlokland / novus
  General purpose, statically typed, functional programming language
  ☆14Updated 2 months ago
• wolfgangj / wok
  Compiler that has been integrated into Okami now
  ☆24Updated 2 years ago
• MikeInnes / BrainForth
  An Impractical Stack Language
  ☆14Updated 4 years ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 4 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• supposedly / nutshell
  [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.
  ☆17Updated 6 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated this week
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• mjdominus / cf
  Continued fraction library
  ☆30Updated 4 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated 2 weeks ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 weeks ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆11Updated last month
• catseye / Tamsin
  MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister
  ☆16Updated last year