gebner Goto Github PK

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

olean-rs

parser/viewer for olean files

oleanparser

openstreetmap-americana

A quintessentially American map style

osmand-qt

pass2keepass

Simple tool to convert passwords from pass into keepassx (v1) format.

plenary.nvim

plenary: full; complete; entire; absolute; unqualified. All the lua functions I don't want to write twice.

popl17_tutorial

POPL tutorial

presentations

lean-related presentations

programming_in_lean

proofgram

Understanding proofs by the grammar of their Herbrand sequents

qalculate-gtk

Qalculate! GTK+ UI

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

quote4

Intuitive, type-safe expression quotations for Lean 4.

racket

The Racket repository

reference

Reference manual for the Lean theorem prover

reforest

Compressing term languages using grammars.

resolution.lean

Resolution prover in lean. This project has now moved to https://github.com/leanprover/library_dev

sgit

unofficial git client for android

spacenavd

Free user-space driver for 6-dof space-mice.

std4

Standard Library for Lean 4

super2

systemd

systemd upstream

tc

Reference type checker for the Lean theorem prover

termturtle

theorem_proving_in_lean

Theorem proving in Lean

tokei

A program that allows you to count code, quickly.

trepplein

Lean type-checker written in Scala.

tutorial

Lean Tutorials

ubcsat

The Stochastic Local Search SAT Solver from UBC