Nix overlay for Lean 4, and lake2nix

Beginner's guide to Tactic Programming in Lean

Print ASCII cats to your terminal

Sandboxed environments with bwrap and nix-shell

An introduction to numbers

The math library of Lean 4

A Lean companion to Analysis I

A repository for the course MS-EV0029.

My NixOS and home-manager configuration

Lean project on the Virasoro algebra (2-cohomology of the Witt algebra, definition of the Virasoro algebra, ...)

Nix Packages collection & NixOS

Touying is a powerful package for creating presentation slides in Typst.

notes, honeypot, and exploit demo for the xz backdoor (CVE-2024-3094)

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

A free, open source, online digital circuit/logic designer.

Lean 4 programming language and theorem prover

Kubernetes management with Nix

Binary Grep

Multi-arch Docker images for Idris 2

[ School Project ] Frontend application specifically made for the 'rust-Uno-server' project. Written in Rust using the 'yew' framework-

[ School Project ] Web-socket server for the game 'Uno'. Written in Rust.

Frontend for the OtaWilma project. Includes all the client side functionality such as theme editor and quality-of-life functionalities for students

API used to store user's configuration and themes in with Otawilma API. Also allows users to share their course selections.

Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects.

Rust Language Cheat Sheet - https://cheats.rs

Fast, efficient, and robust memory reclamation for Rust.

Zoomer application for Linux

CLI tool and Python library to configure SteelSeries gaming mice