opt-models / opt-legoLinks
☆16Updated last year
Alternatives and similar repositories for opt-lego
Users that are interested in opt-lego are comparing it to the libraries listed below
Sorting:
- Brzozowski derivative python sketch☆85Updated 7 months ago
- Rewriting Principia Mathematica in Lean☆135Updated last month
- ☆53Updated 2 months ago
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆100Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆106Updated last year
- An implementation of the Nyströmformer, using Nystrom method to approximate standard self attention☆56Updated 3 years ago
- ☆52Updated last year
- Autoregressive transformers in APL☆106Updated 2 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆68Updated 3 months ago
- Audible NP-Complete Problem☆22Updated 6 years ago
- A probabilistic approximate DNF counter☆37Updated 2 months ago
- A star for organising blocks and playing with transformers.☆23Updated last year
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- fast combinations calculation in jax☆38Updated last year
- a categorical deep learning compiler☆204Updated last month
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- Advanced Python Function Debugging with MCP Integration.☆57Updated 4 months ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- A web app that generates code for efficiently approximating mathematical functions of one variable.☆98Updated last year
- ZSV Utility for converting json to/from zip-separated-values☆56Updated last year
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated last year
- A playground to make it easy to try crazy things☆33Updated 3 weeks ago
- LLMs playing chess are sensitive to how the position came to be☆25Updated last year
- PostgreSQL Prolog language handler☆135Updated last year
- ☆254Updated 2 years ago