Alternatives and similar repositories for godel:

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

• woodrush / numsectorlisp
  Fixed-point scalar and matrix multiplication library for SectorLISP
  ☆14Updated 3 years ago
• lawrencewoodman / sblasm
  A SUBLEQ macro assembler
  ☆12Updated 4 years ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 7 months ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• ytakano / blisp-repl
  ☆20Updated 2 years ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆21Updated 6 months ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆44Updated 3 years ago
• Kevinpgalligan / GoLfind
  Finding Game of Life states that lead to pictures.
  ☆18Updated 10 months ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 9 months ago
• massimo-nazaria / bash-textgen
  A random text generation toolchain using n-grams written in Bash
  ☆15Updated 7 months ago
• ajnirp / stochastic_sierpinski
  A stochastic method to generate an approximation to the Sierpinski triangle
  ☆41Updated 3 years ago
• ljedrz / blc
  Binary lambda calculus
  ☆10Updated 7 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• rrampage / wart
  A simple Web Assembly Interpreter
  ☆16Updated last year
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆10Updated last month
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆52Updated last year
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆93Updated 4 years ago
• nst / bfps
  A Brainfuck interpreter written in PostScript
  ☆38Updated last week
• AThilenius / logic-paint-rs
  A transistor-level logic simulator inspired by the Intel 4004 and Zachtronic's KOHCTPYKTOP, build with Rust + WASM
  ☆33Updated this week
• RauliL / plorth-webassembly
  WebAssembly version of Plorth programming language
  ☆16Updated 7 years ago
• 8l / hsq
  Higher Subleq is a simplified typeless C language.
  ☆11Updated 9 years ago
• wilbowma / llm-lang
  An LLM-first programming language.
  ☆31Updated 2 months ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• ret2pop / stem
  A minimal stack based programming language
  ☆32Updated 10 months ago
• zick / Lisp-on-Printers
  A Lisp interpreter in PostScript
  ☆14Updated 6 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• kotsoft / kotsoft.github.io
  ☆25Updated 9 months ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year