c0stya / brzozowski
Brzozowski derivative python sketch
☆85Updated 11 months ago
Alternatives and similar repositories for brzozowski:
Users that are interested in brzozowski are comparing it to the libraries listed below
- An experiment in controlling the size of a thread pool using a PID controller.☆117Updated last year
- PostgreSQL Prolog language handler☆132Updated 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
- ☆50Updated 9 months ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- A small language that compiles to WebAssembly Text format☆74Updated 11 months ago
- ☆52Updated 4 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- Yet Another Compiler Visualizer☆159Updated 3 years ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 2 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- LD_PRELOADable library for exploring the glibc heap☆103Updated 3 weeks ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆77Updated 3 weeks ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated last year
- Exploring the design space of binary search trees☆45Updated last month
- Integer Map Data Structure☆130Updated last year
- An ngn/k tutorial.☆200Updated 9 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆167Updated 3 years ago
- the origins of J☆62Updated last year
- a 64-bit histogram / quantile sketch☆58Updated 2 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆96Updated last year
- ZSV Utility for converting json to/from zip-separated-values☆56Updated 9 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- A web app that generates code for efficiently approximating mathematical functions of one variable.☆93Updated 5 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆82Updated 4 years ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated last year
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆120Updated last month