Dicklesworthstone / grassmann_article
☆50Updated 8 months ago
Alternatives and similar repositories for grassmann_article:
Users that are interested in grassmann_article are comparing it to the libraries listed below
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…☆35Updated last year
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated last year
- Brzozowski derivative python sketch☆85Updated 10 months ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- A small language that compiles to WebAssembly Text format☆74Updated 10 months ago
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆45Updated 8 months ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆119Updated 2 weeks ago
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆97Updated last year
- PostgreSQL Prolog language handler☆131Updated 11 months ago
- What impact does floating point precision have on Mandelbrot set calculations?☆107Updated last year
- High-Performance Klong array language in Python.☆287Updated 2 months ago
- ☆33Updated last month
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆27Updated last year
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆27Updated 2 years ago
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆58Updated this week
- Persistence of concurrent activities for Gerbil Scheme☆50Updated 4 months ago
- A Low Barrier Proof Assistant☆76Updated this week
- ☆22Updated 5 months ago
- the origins of J☆62Updated last year
- Sequential Logic☆109Updated 2 weeks ago
- An ngn/k tutorial.☆200Updated 8 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 4 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated last month
- A probabilistic approximate DNF counter☆36Updated 10 months ago
- A data and code editor that feels like a spreadsheet.☆155Updated 9 months ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- a categorical deep learning compiler☆198Updated this week