Dicklesworthstone / grassmann_article
☆50Updated 3 months ago
Related projects: ⓘ
- Lamport's Bakery Algorithm Demonstrated in Python☆94Updated 8 months ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated last year
- ☆36Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆103Updated 7 months ago
- Brzozowski derivative python sketch☆83Updated 5 months ago
- PostgreSQL Prolog language handler☆128Updated 5 months ago
- High-Performance Klong array language in Python.☆114Updated 2 months ago
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆94Updated 6 months ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated last year
- An ngn/k tutorial.☆195Updated 3 months ago
- Semi-Automated Python Proof Assistant☆51Updated this week
- A small language that compiles to WebAssembly Text format☆73Updated 4 months ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆26Updated last year
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆39Updated 3 months ago
- the origins of J☆59Updated last year
- What impact does floating point precision have on Mandelbrot set calculations?☆107Updated last year
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆117Updated 3 weeks ago
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated 5 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆75Updated 4 years ago
- A probabilistic approximate DNF counter☆36Updated 5 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- ☆46Updated 2 months ago
- ☆34Updated 3 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆93Updated 6 months ago
- [Mirror] A close reading of the μKanren paper.☆39Updated 2 years ago
- Agent Based Model on GPU using CUDA 12.2.1 and OpenGL 4.5 (CUDA OpenGL interop) on Windows/Linux☆68Updated 9 months ago
- ☆54Updated 3 years ago
- ☆46Updated last year
- 100k real ( +100k random ) galaxies from a sector. Visualized with Raylib.☆76Updated this week
- Designing bridge trusses with Pytorch autograd☆60Updated 7 months ago