The Lean Computer Science Library (CSLib)

Summaries of my university courses (in German)

Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.

laptop

The Libertinus font family

Hyprland configuration files or dotfiles - This repo is used as main repo for all my Distro-Hyprland Install Scripts. See the readme

A toolkit for enforcing logical specifications on neural networks

An interactive Agda tutorial

An extremely fast LaTeX formatter written in Rust

An open-source, customizable intermediate logic textbook

Submission to PACE 2024 - one-sided crossing minimization problem

Code for the PACE 2024 challenge

Submission for PACE Challenge 2024

Implicit Ising Hitting Set

A simple and easy-to-use library to enjoy videogames programming

Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font icons for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项

The official GECCO 2024 Space Optimisation Competition (SpOC) organised by the Advanced Concepts Team (ACT).

Multiplayer word game built with Elixir and Phoenix LiveView

3D Visualization of an GPT-style LLM

Rust version of https://github.com/Overv/VulkanTutorial

Causal inference, graphical models and structure learning in Julia

microsat

A collection of Beamer themes from the community

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

Large list of handpicked color names 🌈

Selected Papers of Dana S. Scott