Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by gebner

A curated list of projects in awesome lists by gebner .

https://github.com/gebner/hott3

HoTT in Lean 3

hott lean

Last synced: 14 Apr 2025

https://github.com/gebner/trepplein

Lean type-checker written in Scala.

lean scala theorem-proving type-checker

Last synced: 07 Apr 2025

https://github.com/gebner/m17n-lean

System-wide Lean input method

fcitx ibus input-method lean m17n unicode

Last synced: 13 Sep 2025

https://github.com/gebner/dali-usb

Firmware for a DALI-USB adapter using an ATtiny45.

Last synced: 20 Aug 2025

https://github.com/gebner/lean4-old

Lean4 work in progress repo

Last synced: 14 Apr 2025

https://github.com/gebner/oleanparser

Last synced: 14 Oct 2025

https://github.com/gebner/compiz-cms

Color management in compiz.

Last synced: 09 Jul 2025

https://github.com/gebner/hledger-diff

Compares the transactions in two ledger files.

Last synced: 16 Jun 2025

https://github.com/gebner/super2

Last synced: 30 Jan 2026

https://github.com/gebner/vcf24-lean

Last synced: 14 Apr 2025

https://github.com/gebner/espanso-lean

Espanso configuration for Lean abbreviations

Last synced: 14 Apr 2025

https://github.com/gebner/dali-usb-host

Host utilities for my DALI-USB adapter

Last synced: 14 Apr 2025

https://github.com/gebner/avm2017_tutorial

Materials for the Lean tutorial at the Alpine Verification Meeting 2017

Last synced: 14 Jul 2026

https://github.com/gebner/mathlib

Lean standard library

Last synced: 22 Jul 2025

https://github.com/gebner/numint

Final project for the numerics course in the fall semester 2011.

Last synced: 14 Apr 2025

https://github.com/gebner/autograder

Last synced: 19 Mar 2026

https://github.com/gebner/inundation

Stress test for Lake.

Last synced: 19 Mar 2026

https://github.com/gebner/notmuch2gmvault

Small tool to convert a notmuch database to a gmvault backup.

Last synced: 13 Feb 2026

https://github.com/gebner/pass2keepass

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

Last synced: 14 Apr 2025

https://github.com/gebner/acceptablesteak

🥩 Delta-T Sous Vide Calculator

Last synced: 08 Jun 2026

https://github.com/gebner/fstarsmtsel

Last synced: 14 Apr 2025

https://github.com/gebner/termturtle

Last synced: 14 Apr 2025

https://github.com/gebner/reforest

Compressing term languages using grammars.

Last synced: 14 Apr 2025

https://github.com/gebner/lean-client-js

This repository has moved to https://github.com/leanprover/lean-client-js

Last synced: 14 Apr 2025

https://github.com/gebner/gmail-notmuch

Imports emails from gmail into notmuch.

Last synced: 14 Apr 2025

https://github.com/gebner/mkleanbook

Last synced: 14 Apr 2025

https://github.com/gebner/osmand-qt

Last synced: 26 Jul 2025

https://github.com/gebner/mpdsep

mpd sound effect player

Last synced: 04 Oct 2025

https://github.com/gebner/mathlib_docs

Last synced: 21 Feb 2026

https://github.com/gebner/popl17_tutorial

POPL tutorial

Last synced: 12 Jul 2026

https://github.com/gebner/proofgram

Understanding proofs by the grammar of their Herbrand sequents

Last synced: 12 Oct 2025

https://github.com/gebner/demopkg

Last synced: 22 Jan 2026

https://github.com/gebner/iltp

Git mirror of the Intuitionistic Logic Theorem Proving (ILTP) library

Last synced: 23 Jan 2026

https://github.com/gebner/resolution.lean

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

Last synced: 23 Jan 2026