tobiasgrosser Goto Github PK

3d-models

alain.github.io

Jekyll source for my personal blog.

biblio-irill

bibliography for Irill

btrbk

Tool for creating snapshots and remote backups of btrfs subvolumes

cadical

CaDiCaL SAT Solver

cgo17_artifactevaluation

Artifact evaluation repository for the CGO17 paper: Optimistic Loop Optimization

circt

Circuit IR Compilers and Tools

clang

Work on the clang python bindings

clang_complete

Vim plugin that use clang for completing C/C++ code.

clemency

cLEMENCy is the LEgitbs Middle ENdian Computer architecture developed by Lightning for DEF CON CTF 2017

docker-latex

ed-restaurants

A list of nice restaurants in Edinburgh

gatsby-casper

A Casper blog starter for Gatsby

gatsby-transformer-bibtex

gcc

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.

imap-snooze

imath

Arbitrary precision integer and rational arithmetic library

isl

isl mirror (BETA) - The official isl repository is at http://repo.or.cz/w/isl.git

islplot

Library to plot integer sets and maps

jekyll-action

A GitHub Action to publish Jekyll based content as a GitHub Pages site

julia

The Julia Language: A fresh approach to technical computing.

lean

Lean Theorem Prover

lean-llvm

Custom-built LLVM toolchain for use in Lean 4

lean-polyhedra

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.

llvm-summer-school-2017