Stars
Find, verify, and analyze leaked credentials
This is a repository on the formalization of Monsky's theorem by the UvA lean community.
Feather🪶: A Rust web framework that does not use async
Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.
kntrl is an eBPF based runtime agent that monitors and prevents anomalous behaviour defined by you on your pipeline. kntrl achieves this by monitoring kernel calls, and denying access as soon as yo…
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
DeepSeek-VL2: Mixture-of-Experts Vision-Language Models for Advanced Multimodal Understanding
A modern, extensible GitHub API Client for Rust.
Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
Kubernetes IN Docker - local clusters for testing Kubernetes
Container Network Interface - networking for Linux containers
In-depth and hands-on practice for acing the exam.
Simple examples of Assembly code for the Apple Silicon (M1) CPU
Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
A guide to setting up a production-like Kubernetes cluster on a local machine
SecretBench is a dataset consisting of different secret types collected from public open-source repositories.
Starting code for the GildedRose Refactoring Kata in many programming languages.
Several Coding Patterns for Solving Data Structures and Algorithms Problems during Interviews
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.