superty Goto Github PK

alacritty-extended-keys

alacritty.kak

Alacritty integration for Kakoune

base16-i3

bloxorz-clone

A clone of the popular flash game Bloxorz in OpenGL

bollu.github.io

code + contents of my website, and programming life

btop

A monitor of resources

connect.kak

Connect a program to Kakoune clients

dottle

gbr-coverage

gnome-shell-scroll-workspaces

Switch workspaces by scrolling in the top panel

helix

A post-modern modal text editor.

iiittheorygroup.github.io

IIIT Theory Group Website

ioi-training

fork

kak-lsp

Kakoune Language Server Protocol Client

kakoune

mawww's experiment for a better code editor

konigsberg-lean

Proof of the resolution to the Konigsberg bridge problem in the lean theorem prover.

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

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.

lovefield

A cross-browser, SQL-like, relational query engine for Web in pure JavaScript.

marp

Markdown presentation writer, powered by Electron.

mathlib

Lean mathematical components library

moby

Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

obsidian-latex

paper-template

A template for writing CS papers with latex -- includes CI, todonotes, ...

presburger-benchmarks

A benchmark suite for Presburger arithmetic as used in polyhedral compilation.

raft-grpc

Implementation of raft in c++ using gRPC

sidebarenhancements

Enhancements to Sublime Text sidebar. Files and folders.

starcraft

HTML5 version for StarCraft game

superty.github.io

testrep

Test rep