lacker / godel
Helper scripts for understanding Gödel's Incompleteness Theorem
☆13Updated 3 years ago
Alternatives and similar repositories for godel:
Users that are interested in godel are comparing it to the libraries listed below
- A web app that lets you play musical scales according to math equations☆69Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Fun with wgpu: Simulating slime mold☆24Updated 8 months ago
- A transistor-level logic simulator inspired by the Intel 4004 and Zachtronic's KOHCTPYKTOP, build with Rust + WASM☆33Updated 3 weeks ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 10 months ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- Finding Game of Life states that lead to pictures.☆18Updated 11 months ago
- Programming language for ternary computing☆30Updated 4 years ago
- A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display☆16Updated 5 years ago
- ☆20Updated 2 years ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- various toys in j☆12Updated 3 years ago
- Binary Lambda Calculus Virtual Machine☆53Updated last year
- A Brainfuck interpreter written in PostScript☆38Updated last month
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆14Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 5 months ago
- ☆26Updated 10 months ago
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Updated 2 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆50Updated 2 years ago
- A stochastic method to generate an approximation to the Sierpinski triangle☆41Updated 3 years ago
- Interactive Scheme Primer, written in Scheme.☆21Updated 6 months ago
- PICO8 inspired live coded thick pixel visual instrument☆38Updated 4 years ago