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
  ☆86Updated 10 months ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• Dicklesworthstone / grassmann_article
  ☆53Updated last year
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 3 years ago
• alt-text-org / image-algo-testing
  Testing various image matching algorithms' performance on the Pinecone vector DB
  ☆43Updated 2 years ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆32Updated 2 years ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆138Updated last week
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 3 years ago
• phoenicyan / combinadics
  fast combinations calculation in jax
  ☆39Updated last year
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆65Updated 6 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 6 years ago
• HnimNart / deeplearning
  ☆53Updated 5 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆79Updated 6 months ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated last year
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆39Updated 2 months ago
• NationalSecurityAgency / XORSATFilter
  A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
  ☆83Updated 3 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• 00sapo / Python-Complementary-Languages
  Just a small test to see which language is better for extending python when using lists of lists
  ☆32Updated 2 years ago
• mxmlnkn / fft-image-experiments
  Experiments with applying Fourier transofrms to various plane-filling curves and patterns
  ☆64Updated 2 years ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated 2 years ago
• Dicklesworthstone / hoeffdings_d_explainer
  A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D
  ☆100Updated last year
• pranjanpr / Quant-MELO-Portfolio
  A Bayesian based architecture to evaluate the optimal weights of different stocks in a portfolio according to Global Minimum Variance and…
  ☆25Updated 3 years ago
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆56Updated last year
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆107Updated 5 months ago
• gvelesandro / constructor-theory-simulator
  ☆69Updated 3 months ago
• Dicklesworthstone / the_lighthill_debate_on_ai
  A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks
  ☆33Updated last year
• eschluntz / PytorchBridge
  Designing bridge trusses with Pytorch autograd
  ☆61Updated 2 years ago
• ElAlev / Wayeb
  Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.
  ☆149Updated 2 years ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆55Updated 3 months ago
• abuseofnotation / jekyll-book-boilerplate
  A boilerplate for publishing books as Jekyll blogs
  ☆17Updated 2 months ago