xhalo32

nixpkgs

Nix Packages collection & NixOS

ConstructiveLogicCourseGame

touying

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

xzbot

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

cve-rs

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

OpenCircuits

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

lean4

Lean 4 programming language and theorem prover

kubenix

Kubernetes management with Nix

bgrep

Binary Grep

idris-2-docker

Multi-arch, multi-distro Docker images for Idris 2

rust-uno-frontend

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

rust-uno-server

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

OtaWilma-frontend

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

OtaWilma-API

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

rust-course

rust-by-practice

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

cheats.rs

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

seize

Fast, efficient, and robust memory reclamation for Rust.

boomer

Zoomer application for Linux

rivalcfg

CLI tool and Python library to configure SteelSeries gaming mice

prusa_i3_bear_upgrade

Stronger frame for Prusa i3 MK2(s), MK2.5 and MK3

esp32-dimmer

ESP32 multi channel dimmer

tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

x11docker

Run GUI applications and desktops in docker and podman containers. Focus on security.

ThinkVim

Vim configuration in the 21st century

FreeCAD

This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

ripgrep

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

pill_blink

examples of blinking the STM32F103C8 "blue pill" development board (LED on PC13) using various methods ⛺

stm32_samples

virtual_touchscreen

Simple evdev linux device driver and GUI program to simulate multitouch touchscreen