lacker / godelLinks
Helper scripts for understanding Gödel's Incompleteness Theorem
☆14Updated 3 years ago
Alternatives and similar repositories for godel
Users that are interested in godel are comparing it to the libraries listed below
Sorting:
- An introduction to the J programming language that gets to the point.☆69Updated 2 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆64Updated 2 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- PICO8 inspired live coded thick pixel visual instrument☆38Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd☆57Updated 11 months ago
- A simple Web Assembly Interpreter☆18Updated last year
- in-progress 🚧 explosional 💥 editor☆25Updated 3 years ago
- Autoregressive transformers in APL☆107Updated 5 months ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Updated 4 years ago
- A web app that lets you play musical scales according to math equations☆70Updated 4 years ago
- Conway's Game of Life with multiple states. A precursor of Lenia.☆39Updated 7 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- Advent of Code built with Redbean☆10Updated 2 years ago
- Interactive Scheme Primer, written in Scheme.☆22Updated 8 months ago
- ☆61Updated last year
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- Cellular automata simulation powered by GPU☆17Updated 4 years ago
- A JS / WebGL Cellular Automata engine☆23Updated 7 years ago
- Persistence of concurrent activities for Gerbil Scheme☆55Updated 3 months ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- An LLM-first programming language.☆33Updated 4 months ago
- Fun with wgpu: Simulating slime mold☆23Updated last year
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- Preview Zig's incremental linker state in interactive HTML☆45Updated 3 years ago
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Updated 3 years ago
- A fast, zero-copy EDN (Extensible Data Notation) reader written in C11 with SIMD acceleration.☆167Updated last month
- ☆10Updated 3 years ago