Skip to content
View gebner's full-sized avatar
🐌
🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌
🐌
🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌

Organizations

@NixOS @leanprover @gapt @lean-forward @leanprover-community

Block or report gebner

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
17 stars written in Python
Clear filter

A free & open modern, fast email client with user-friendly encryption and privacy features

Python 8,842 1,020 Updated Nov 1, 2023

Fixes mojibake and other glitches in Unicode text, after the fact.

Python 3,924 123 Updated Oct 30, 2024

A python parametric CAD scripting framework based on OCCT

Python 3,827 343 Updated Jul 6, 2025

Reverse Engineering Sony Digital Cameras

Python 2,320 252 Updated Jul 27, 2024

Simple SDF mesh generation in Python

Python 1,707 151 Updated Aug 10, 2024

CadQuery GUI editor based on PyQT

Python 916 159 Updated Jul 7, 2025

BLE Micro Pro is a breakout board of BL654(nrf52840 module) which is almost compatible with Pro Micro. This board is designed for wireless split DIY keyboards

Python 352 87 Updated Jun 14, 2025

an initial tagging script for notmuch mail

Python 335 98 Updated May 6, 2025

Python 2/3 implementation of XMPP

Python 102 66 Updated Dec 1, 2023

1 vimrc 1 vote

Python 95 3 Updated Aug 3, 2017

System-wide Lean input method

Python 12 Updated Feb 16, 2022
Python 6 2 Updated Mar 24, 2018

Host utilities for my DALI-USB adapter

Python 3 2 Updated Oct 8, 2011

An enhanced client for the notmuch mail system.

Python 3 Updated Aug 29, 2011

Rubik's Cube Toy Project

Python 2 Updated Jan 10, 2011

python-xmpp library

Python 1 Updated May 24, 2011
17 stars written in Python