meelgroup / pepin
A probabilistic approximate DNF counter
☆36Updated 9 months ago
Alternatives and similar repositories for pepin:
Users that are interested in pepin are comparing it to the libraries listed below
- Brzozowski derivative python sketch☆83Updated 9 months ago
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated last year
- A Low Barrier Proof Assistant☆71Updated this week
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆25Updated 10 months ago
- Various implementation of byte matrix multiplication☆24Updated 2 weeks ago
- Scale to zero Seafowl hosting with Cloud Run☆38Updated last year
- PostgreSQL Prolog language handler☆131Updated 9 months ago
- ☆50Updated 7 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated last year
- ☆22Updated 4 months ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- 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
- Responsive, animated figures in JavaScript/HTML canvases☆132Updated 2 weeks ago
- a 64-bit histogram / quantile sketch☆58Updated 3 weeks ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated last year
- Exploring the design space of binary search trees☆43Updated 6 months ago
- A python implementation of delta debugging tool.☆23Updated 11 months ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated last year
- Zig library for HyperLogLog estimation☆89Updated 6 months ago
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆54Updated last month
- ☆79Updated 3 months ago
- Multi-Array Queue program codes☆75Updated 3 weeks ago
- ☆43Updated 2 weeks ago
- An optimizing compiler for a large subset of the C programming language☆27Updated 3 months ago
- A description of the relationship between databases, collaboration and Kripke☆27Updated 3 years ago
- ☆18Updated 6 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated last year
- ☆32Updated 2 weeks ago
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆18Updated last year