Pinned Repositories
clang
Work on the clang python bindings
clang_complete
Vim plugin that use clang for completing C/C++ code.
gcc
imap-snooze
islplot
Library to plot integer sets and maps
jekyll-action
A GitHub Action to publish Jekyll based content as a GitHub Pages site
lean-polyhedra
llvm-summer-school-2017
ocaml-isl
OCaml bindings for the Integer Set Library.
polyhedral.info
tobiasgrosser's Repositories
tobiasgrosser/polyhedral.info
tobiasgrosser/jekyll-action
A GitHub Action to publish Jekyll based content as a GitHub Pages site
tobiasgrosser/mental-strength-unworkshop
tobiasgrosser/cadical
CaDiCaL SAT Solver
tobiasgrosser/circt
Circuit IR Compilers and Tools
tobiasgrosser/ed-restaurants
A list of nice restaurants in Edinburgh
tobiasgrosser/gatsby-casper
A Casper blog starter for Gatsby
tobiasgrosser/gatsby-transformer-bibtex
tobiasgrosser/github-slideshow
A robot powered training repository :robot:
tobiasgrosser/grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
tobiasgrosser/imath
Arbitrary precision integer and rational arithmetic library
tobiasgrosser/lean-llvm
Custom-built LLVM toolchain for use in Lean 4
tobiasgrosser/lean4
Lean4 work in progress repo
tobiasgrosser/leansat
This package provides an interface and foundation for verified SAT reasoning
tobiasgrosser/linear_algebra_done_right
A translation of Sheldon Axler's textbook Linear Algebra Done Right into Lean
tobiasgrosser/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.
tobiasgrosser/LNSym
Armv8 Native Code Symbolic Simulator in Lean
tobiasgrosser/LP
tobiasgrosser/mathlib
Lean mathematical components library
tobiasgrosser/mlir-1
"Multi-Level Intermediate Representation" Compiler Infrastructure
tobiasgrosser/NeuralCasting
Front-end compiler for ONNX
tobiasgrosser/paper-template-staging
tobiasgrosser/PresburgerAI-Coq
Formal proof of a presburger abstract domain on a SSA language
tobiasgrosser/snax-mlir
Driving Snax with MLIR
tobiasgrosser/ssa
A minimal development of SSA theory
tobiasgrosser/std4
Standard Library for Lean 4
tobiasgrosser/test-small-integers
tobiasgrosser/wiki
tobiasgrosser/xdsl
A Python Compiler Design Toolkit
tobiasgrosser/xdslproject.github.io
✨ Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com