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
Showing results

[WIP] Resources for AI engineers. Also contains supporting materials for the book AI Engineering (Chip Huyen, 2025)

Jupyter Notebook 12,538 1,815 Updated Feb 12, 2025

Display a treemap of the timings reported by python -X importtime

HTML 116 2 Updated Feb 19, 2021

software version control visualization

C++ 12,582 753 Updated Aug 13, 2025

A tool that validates academic paper references

Python 167 18 Updated Oct 21, 2025

Antragsformular für den Passierschein A38 nach Rundschreiben B64 der Bundesbehörde für Rautavistik

TeX 113 8 Updated Aug 18, 2025

Koog is the official Kotlin framework for building predictable, fault-tolerant and enterprise-ready AI agents across all platforms – from backend services to Android and iOS, JVM, and even in-brows…

Kotlin 3,552 281 Updated Dec 20, 2025

Development tools for expl3 programmers

Lua 18 2 Updated Dec 15, 2025

A fast type checker and language server for Python

Rust 5,073 226 Updated Dec 20, 2025

An extremely fast Python type checker and language server, written in Rust.

Python 15,225 160 Updated Dec 20, 2025

A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.

TeX 1,026 209 Updated Apr 14, 2025

Die österreichische Shell

77 6 Updated Mar 24, 2025

My tutorial on disclosing data for double blind peer review and make it archived open data upon acceptance.

39 Updated Jan 19, 2024

Open science policies for SIGSOFT venues

13 4 Updated Mar 8, 2024
Python 37 6 Updated Sep 12, 2019

Command line csv viewer

Rust 3,294 56 Updated Dec 15, 2025

The ultimate list of which programs support Vim-like keybindings natively, or how they can be added with extensions. A collaborative project.

Shell 2,426 72 Updated Nov 3, 2025

macOS system monitor in your menu bar

Swift 35,347 1,130 Updated Dec 7, 2025

TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in the IDE. Started by SERG TU Delft. Currently under implement…

Kotlin 81 27 Updated Oct 23, 2025

A community-supported supercharged document management system: scan, index and archive all your documents

Python 35,025 2,210 Updated Dec 20, 2025

A curated list of awesome TikZ documentations, libraries and resources

1,710 148 Updated Oct 5, 2024

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

Markdown 1,053 114 Updated Sep 29, 2025

Comprehensive Python Cheatsheet

Python 38,043 6,690 Updated Dec 20, 2025

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

TypeScript 11,715 564 Updated Dec 15, 2025

CLI for SQLite Databases with auto-completion and syntax highlighting

Python 3,153 89 Updated Dec 19, 2025

An Inkscape extension for exporting SVG paths as TikZ/PGF paths

Python 702 105 Updated Nov 30, 2025

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

Python 1,659 84 Updated Aug 12, 2025

Grundgesetz für die Bundesrepublik Deutschland

522 19 Updated Jan 14, 2018

attempting to fix python depency hell by forcing pip into using only package versions from when the project was devloped

Python 4 Updated May 16, 2024

A matplotlib backend that produces plots using only ASCII characters

Python 75 2 Updated Oct 6, 2025

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

Assembly 31,603 4,524 Updated Apr 25, 2024
Next