Pinned Repositories
dottle
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.
presburger-benchmarks
A benchmark suite for Presburger arithmetic as used in polyhedral compilation.
Superty's Repositories
Superty/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.
Superty/presburger-benchmarks
A benchmark suite for Presburger arithmetic as used in polyhedral compilation.
Superty/dottle
Superty/alacritty-extended-keys
Superty/alacritty.kak
Alacritty integration for Kakoune
Superty/base16-i3
Superty/bloxorz-clone
A clone of the popular flash game Bloxorz in OpenGL
Superty/bollu.github.io
code + contents of my website, and programming life
Superty/btop
A monitor of resources
Superty/connect.kak
Connect a program to Kakoune clients
Superty/gbr-coverage
Superty/helix
A post-modern modal text editor.
Superty/iiittheorygroup.github.io
IIIT Theory Group Website
Superty/kak-lsp
Kakoune Language Server Protocol Client
Superty/kakoune
mawww's experiment for a better code editor
Superty/konigsberg-lean
Proof of the resolution to the Konigsberg bridge problem in the lean theorem prover.
Superty/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Superty/marp
Markdown presentation writer, powered by Electron.
Superty/mathlib
Lean mathematical components library
Superty/moby
Moby Project - a collaborative project for the container ecosystem to assemble container-based systems
Superty/obsidian-latex
Superty/paper-template
A template for writing CS papers with latex -- includes CI, todonotes, ...
Superty/raft-grpc
Implementation of raft in c++ using gRPC
Superty/superty.github.io
Superty/TestRep
Test rep
Superty/testrepository
Superty/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
Superty/website
Superty/zenodo-upload
upload big files to Zenodo using cURL, jq and bash
Superty/ziglearn
Repo for https://ziglearn.org content. Get up to speed with Zig quickly.