Tobias Grosser's repositories
jekyll-action
A GitHub Action to publish Jekyll based content as a GitHub Pages site
cadical
CaDiCaL SAT Solver
circt
Circuit IR Compilers and Tools
ed-restaurants
A list of nice restaurants in Edinburgh
gatsby-casper
A Casper blog starter for Gatsby
github-slideshow
A robot powered training repository :robot:
grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
imath
Arbitrary precision integer and rational arithmetic library
lean
Lean Theorem Prover
lean-llvm
Custom-built LLVM toolchain for use in Lean 4
lean4
Lean4 work in progress repo
linear_algebra_done_right
A translation of Sheldon Axler's textbook Linear Algebra Done Right into Lean
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
mathlib
Lean mathematical components library
mlir-1
"Multi-Level Intermediate Representation" Compiler Infrastructure
NeuralCasting
Front-end compiler for ONNX
PresburgerAI-Coq
Formal proof of a presburger abstract domain on a SSA language
snax-mlir
Driving Snax with MLIR
ssa
A minimal development of SSA theory
std4
Standard Library for Lean 4
xdsl
A Python Compiler Design Toolkit
xdslproject.github.io
✨ Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com
zfoh.ch
Our homepage