#
sdiehl
Follow
Lists (13)
Computer Algebra
Computer algebra tools8 repositories
E-Graphs
Equality saturation is a technique for building optimizing compilers using e-graphs13 repositories
Geometric Algebra
Geometric algebra is a mathematical framework that unifies and extends vector algebra5 repositories
HEP
High energy particle physics3 repositories
JIT Compilers
JIT compilers are a type of compiler that translates code into machine code at runtime, improving performance by optimizing code15 repositories
Lean
Lean theorem prover26 repositories
MLIR
MLIR (Multi-Level Intermediate Representation) is a unifying software framework for compiler development.14 repositories
Physics
Uncategorized physics projects7 repositories
Quantitative Finance
Study of market structure using quantitative models3 repositories
Reasoning Models
Language models that enumerate stepwise before answering.9 repositories
SMT Solvers
Satisfiability modulo theories18 repositories
Tensor Calculus
Symbolic tensor calculus manipulation tools9 repositories
Term Rewriting
2 repositories
Starred repositories
The Tensor Algebra SuperOptimizer for Deep Learning
Haskell library for representing and manipulating Symbolic Regression Tree
Shared Middle-Layer for Triton Compilation
An open-source efficient deep learning framework/compiler, written in python.
The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.
Visual Studio Code extension for the Lean 4 proof assistant
MLIRSat: Equality Saturation for MLIR programs
Fast lexical search implementing BM25 in Python using Numpy, Numba and Scipy
🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production
The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
This is a replicate of DeepSeek-R1-Zero and DeepSeek-R1 training on small models with limited data