Alternatives and similar repositories for opt-lego:

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

• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆56Updated last month
• HnimNart / deeplearning
  ☆52Updated 4 years ago
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Updated last year
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated 11 months ago
• dpaleka / llm-chess-proofgame
  LLMs playing chess are sensitive to how the position came to be
  ☆20Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 3 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago
• alt-text-org / image-algo-testing
  Testing various image matching algorithms' performance on the Pinecone vector DB
  ☆43Updated last year
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 7 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated this week
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 9 months ago
• peterhorne / rrb-tree
  Typescript implementation of Relaxed Radix Balanced Trees
  ☆17Updated 6 months ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated last year
• jbroll / isbl
  ISBL - Information Systems Base Language
  ☆19Updated 10 years ago
• facebookincubator / cinderx
  High-performance Python runtime extensions
  ☆14Updated this week
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated last month
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 10 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 11 months ago
• susam / mathcask
  A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
  ☆12Updated 2 weeks ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆26Updated 4 months ago
• westoncb / nonlinear-optics-sandbox
  ☆34Updated 2 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• Syzygies / concepts-artboards
  Ruby script to convert Concepts SVG files into multiple PDF pages
  ☆11Updated 2 years ago
• kach / chaos-game-fractal-foliage
  Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
  ☆14Updated 4 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated this week
• tillahoffmann / localscope
  Restrict the scope of functions for reproducible code execution and peace of mind.
  ☆22Updated 2 weeks ago