c0stya / brzozowski
Brzozowski derivative python sketch
☆83Updated 9 months ago
Alternatives and similar repositories for brzozowski:
Users that are interested in brzozowski are comparing it to the libraries listed below
- 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
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- An experiment in controlling the size of a thread pool using a PID controller.☆117Updated 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
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- ☆50Updated 7 months ago
- PostgreSQL Prolog language handler☆131Updated 9 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated last year
- An ngn/k tutorial.☆200Updated 7 months ago
- A small language that compiles to WebAssembly Text format☆75Updated 9 months ago
- ☆52Updated 3 years ago
- a 64-bit histogram / quantile sketch☆58Updated 3 weeks ago
- Demo of a WAM Prolog implementation in Python☆73Updated last year
- Integer Map Data Structure☆130Updated last year
- A web app that generates code for efficiently approximating mathematical functions of one variable.☆90Updated 3 months ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated last year
- Beating the `bisect` module's implementation using C-extensions.☆30Updated last year
- the origins of J☆62Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Yet Another Compiler Visualizer☆158Updated 3 years ago
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆97Updated 11 months ago
- Visualize binary files☆116Updated 3 weeks ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆159Updated 3 years ago
- tar creator+extractor in ~100 lines of prolog☆258Updated 2 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆132Updated 2 weeks ago
- A graphical interactive proof assistant designed for education☆165Updated 2 months ago
- Module Oriented Large Archive Specialized Slow Exhaustive Searcher☆113Updated 9 years ago
- ZSV Utility for converting json to/from zip-separated-values☆58Updated 7 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 2 weeks ago
- A dot matrix rendered using braille characters.☆26Updated 3 years ago