Skip to content
View stephanlukasczyk's full-sized avatar
🚄
Riding the Train of Thought
🚄
Riding the Train of Thought

Organizations

@JetBrains @sosy-lab @dante-ev @se2p @GI-Dagstuhl-March-2023

Block or report stephanlukasczyk

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
42 results for sponsorable starred repositories
Clear filter

Development tools for expl3 programmers

Lua 18 2 Updated Dec 15, 2025

macOS system monitor in your menu bar

Swift 35,364 1,131 Updated Dec 7, 2025

⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.

Markdown 1,053 114 Updated Sep 29, 2025

Find the Python code for specified symbols

Python 310 12 Updated Apr 23, 2025

Smassh your Keyboard, TUI Edition

Python 1,814 56 Updated Nov 15, 2025

Install and Run Python Applications in Isolated Environments

Python 12,361 503 Updated Dec 15, 2025

The xkcd font

Python 1,205 45 Updated Nov 1, 2020

PyCharm plugin for ruff. This plugin provides reformat code using ruff.

Kotlin 289 16 Updated Dec 19, 2025

yubikey-agent is a seamless ssh-agent for YubiKeys.

Go 2,833 151 Updated Dec 3, 2023

Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

HTML 12,082 1,240 Updated Dec 13, 2025

Materials and IPython notebooks for "Python for Data Analysis" by Wes McKinney, published by O'Reilly Media

Jupyter Notebook 24,074 15,673 Updated Oct 17, 2025

Near Zero-Overhead Python Code Coverage

Python 553 27 Updated Oct 9, 2025

Python static typing home. Hosts the documentation and a user help forum.

Python 1,721 282 Updated Dec 14, 2025

Bringing the hell of pointers to Python.

Python 936 11 Updated Jan 7, 2025

List of projects that provide terminal user interfaces

15,385 623 Updated Dec 19, 2025

Winners of the International Obfuscated C Code Contest

HTML 1,072 74 Updated Dec 15, 2025

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

CSS 60,927 3,850 Updated Dec 16, 2025

Explores the python bytecode, provides some tools to access it for fun and profit.

Python 318 15 Updated Feb 16, 2023

A workshop on data visualization in Python with notebooks and exercises for following along. Slides contain all solutions.

Jupyter Notebook 270 377 Updated Nov 1, 2025

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

Shell 183,455 26,303 Updated Dec 21, 2025

📈 Performance analysis for Python snippets

Python 1,387 63 Updated Sep 8, 2025

Property-Based Testing on the JUnit Platform

Java 634 64 Updated Dec 1, 2025

Parse Python docstrings in various flavors.

Python 255 53 Updated Aug 22, 2025

🐟 Python profile viewer

Python 1,537 34 Updated Sep 8, 2025

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

Rust 14,267 1,408 Updated Dec 18, 2025

Simple Python version management

Roff 43,914 3,239 Updated Dec 21, 2025

A syntax-highlighting pager for git, diff, grep, and blame output

Rust 28,434 463 Updated Dec 11, 2025

100 numpy exercises (with solutions)

Python 13,597 6,450 Updated Nov 6, 2025

A debugging and profiling tool that can trace and visualize python code execution

Python 7,448 467 Updated Dec 21, 2025
Next