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,846 1,021 Updated Nov 1, 2023

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

Python 3,934 123 Updated Oct 30, 2024

A python parametric CAD scripting framework based on OCCT

Python 3,906 354 Updated Jul 30, 2025

Reverse Engineering Sony Digital Cameras

Python 2,341 257 Updated Jul 27, 2024

Simple SDF mesh generation in Python

Python 1,723 151 Updated Aug 10, 2024

CadQuery GUI editor based on PyQT

Python 937 166 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 354 86 Updated Jul 26, 2025

an initial tagging script for notmuch mail

Python 335 99 Updated May 6, 2025

Python 2/3 implementation of XMPP

Python 103 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