Alternatives and similar repositories for opt-lego

Users that are interested in opt-lego are comparing it to the libraries listed below

• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 7 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆135Updated last month
• HnimNart / deeplearning
  ☆53Updated 2 months ago
• alt-text-org / image-algo-testing
  Testing various image matching algorithms' performance on the Pinecone vector DB
  ☆43Updated 2 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated 2 years ago
• Dicklesworthstone / hoeffdings_d_explainer
  A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D
  ☆100Updated last year
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆106Updated last year
• Rishit-dagli / Nystromformer
  An implementation of the Nyströmformer, using Nystrom method to approximate standard self attention
  ☆56Updated 3 years ago
• Dicklesworthstone / grassmann_article
  ☆52Updated last year
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 2 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆68Updated 3 months ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 6 years ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 months ago
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• phoenicyan / combinadics
  fast combinations calculation in jax
  ☆38Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆204Updated last month
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• kordless / gnosis-mystic
  Advanced Python Function Debugging with MCP Integration.
  ☆57Updated 4 months ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• stuffmatic / chebyshev-calculator
  A web app that generates code for efficiently approximating mathematical functions of one variable.
  ☆98Updated last year
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆56Updated last year
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated last year
• jmward01 / lmplay
  A playground to make it easy to try crazy things
  ☆33Updated 3 weeks ago
• dpaleka / llm-chess-proofgame
  LLMs playing chess are sensitive to how the position came to be
  ☆25Updated last year
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆135Updated last year
• Futrell / ziplm
  ☆254Updated 2 years ago