Alternatives and similar repositories for bend-mlp

Users that are interested in bend-mlp are comparing it to the libraries listed below

• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆33Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 8 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated 2 weeks ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆31Updated 2 weeks ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 4 months ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• ATOMSLab / LeanChemicalTheories
  ☆34Updated last year
• teorth / symmetric_project
  ☆92Updated last year
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆69Updated last week
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated 11 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 9 months ago
• fabricerosay / AlphaGPU
  Alphazero on GPU thanks to CUDA.jl
  ☆32Updated 3 years ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆27Updated 2 years ago
• MilesCranmer / pysr_scaling_laws
  You should use PySR to find scaling laws. Here's an example.
  ☆33Updated last year
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆27Updated last year
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆27Updated 2 weeks ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆22Updated last year
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆26Updated 8 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆14Updated 9 months ago
• artificial-scientist-lab / GWDetectorZoo
  AI-driven discovery of new Gravitational Wave Detectors
  ☆24Updated last year
• modular / devrel-extras
  Contains supporting materials for developer relations blog posts, videos, and workshops
  ☆45Updated 2 weeks ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆49Updated last year
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆19Updated last year
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆25Updated 3 months ago
• QuantumBFS / YaoLang.jl
  YaoLang: The next DSL for Yao and quantum programs.
  ☆31Updated 4 years ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆71Updated 3 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago