bootreer

Kilter.jl

Hyprland

Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches

weld

High-performance runtime for data analytics applications

coding-interview-university

A complete computer science study plan to become a software engineer.

telescope.nvim

Find, Filter, Preview, Pick. All lua, all the time.

files

FPV24

gleam

⭐️ A friendly language for building type-safe, scalable systems!

DeDRM_tools

DeDRM tools for ebooks

isabelle-lsp.nvim

Doom-Emacs-Cheat-Sheet

This is a cheat sheet for doom emacs, mostly from the guides I see online.

kani

Kani Rust Verifier

BachelorThesisTimingFunctions

The goal of the bachelor thesis is to extend the Proof Assistant Isabelle by the automatic generation of runtime functions.

eat-api

Simple static API for some (student) food places in Munich.

ixy.rs

Rust rewrite of the ixy network driver

spaetzle-ticker

Find out when Spätzle is served the next time.

FlameGraph

Stack trace visualizer

apollo-backend

Apollo backend server

openobserve

🚀 10x easier, 🚀 140x lower storage cost, 🚀 high performance, 🚀 petabyte scale - Elasticsearch/Splunk/Datadog alternative for 🚀 (logs, metrics, traces, RUM, Error tracking, Session replay).

highway

Performance-portable, length-agnostic SIMD with runtime dispatch

Ryujinx

Experimental Nintendo Switch Emulator written in C#

the-algorithm

Source code for Twitter's Recommendation Algorithm

typst

A new markup-based typesetting system that is powerful and easy to learn.

blc

A compiler for a B-like language

ax

Minimal x86-64 emulator for WebAssembly - run ELF binaries in your browser

rust

Empowering everyone to build reliable and efficient software.

how2heap

A repository for learning various heap exploitation techniques.

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

cyberclopaedia

This is an aspiring project aimed at accumulating knowledge from the world of cybersecurity and presenting it in a cogent way, so it is accessible to as large an audience as possible and so that everyone has a good resource to learn hacking from.