lacker / godelLinks
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
Sorting:
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆14Updated 3 years ago
- Compiler for MFM programming language☆22Updated 3 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Deep learning library☆41Updated 3 months ago
- Interactive Scheme Primer, written in Scheme.☆21Updated 8 months ago
- An archive of material related to the Cyc project.☆22Updated last month
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆93Updated 4 years ago
- Fun with wgpu: Simulating slime mold☆24Updated 9 months ago
- ☆14Updated last year
- For hosting ATS3 and developing CodeDepot☆14Updated last week
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated last year
- Reader to enable embedding images in source files as text☆19Updated 5 months ago
- A hot take on Lisp metaprogramming☆113Updated this week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- ☆20Updated 2 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Original Perl Zigzag (tm) code referred to by Ted Nelson as "Azz" (Andrew's ZigZag)☆8Updated last week
- software archaeology of reflective towers of interpreters☆16Updated 8 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- A Jepsen Test for TigerBeetle.☆16Updated 2 years ago
- A functional fluent API generator☆34Updated 2 years ago
- Executable version of Functional Differential Geometry.☆34Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- tiny experimental language for limited environments☆17Updated 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 3 years ago