Pinned Repositories
ConstructiveLogicCourseGame
Polya-lean
nixpkgs
Nix Packages collection & NixOS
.github
Default Community Health Files for GitHub Repos
.tmux
Oh My Tmux! My pretty + versatile tmux configuration that just works (imho the best tmux configuration)
advpy
PYGAMES!
fbutils
Linux framebuffer utilities
leetpython
elite python stuff
xhalo32's Repositories
xhalo32/atuin
✨ Magical shell history
xhalo32/apk.sh
apk.sh makes reverse engineering Android apps easier, automating some repetitive tasks like pulling, decoding, rebuilding and patching an APK.
xhalo32/constructive-logic-course
xhalo32/CTFd
CTFs as you need them
xhalo32/distrobox
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox
xhalo32/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
xhalo32/fullcolemak
A full international colemak keyboard layout for physical keyboards on Android
xhalo32/ghc-web-test
xhalo32/gradle2nix
Create Nix configurations suitable for reproducible packaging
xhalo32/icebreaker
Web app that allows students to ask real-time, anonymous questions during class
xhalo32/klipper
Klipper is a 3d-printer firmware
xhalo32/kubenix
Kubernetes management with Nix
xhalo32/lean4
Lean 4 programming language and theorem prover
xhalo32/lean4game
Server to host lean games.
xhalo32/lean4web
The Lean 4 web editor
xhalo32/lesson2-react-template
Lesson 2: Creating your first React application and releasing it in Heroku.
xhalo32/lesson3-nodejs-template
Lesson 3: The first backend application using node and koa.
xhalo32/mdx_truly_sane_lists
Extension for Python-Markdown that makes lists truly sane. Custom indents for nested lists and fix for messy linebreaks and paragraphs between lists.
xhalo32/modern-cv
A modern resume template written in Typst, inspired by Awesome-CV
xhalo32/monaco-languageclient
Repo hosts npm packages for monaco-languageclient, vscode-ws-jsonrpc, monaco-editor-wrapper, @typefox/monaco-editor-react and monaco-languageclient-examples
xhalo32/nixpkgs
Nix Packages collection & NixOS
xhalo32/node2nix
Generate Nix expressions to build NPM packages
xhalo32/PrusaSlicer
G-code generator for 3D printers (RepRap, Makerbot, Ultimaker etc.)
xhalo32/pybluemonday
pybluemonday is a library for sanitizing HTML very quickly via bluemonday.
xhalo32/simple-fortune-cookie-metropolia
CiCd, GitHub Actions, Docker, Kubernetes, Jenkins, RobotFramework project for the DevOps Academy!
xhalo32/sioyek
Sioyek is a PDF viewer with a focus on textbooks and research papers
xhalo32/system-manager
Manage system config using nix on any distro
xhalo32/typix
Deterministic Typst compilation with Nix
xhalo32/YubiKey-Guide
Guide to using YubiKey for GnuPG and SSH
xhalo32/ziglings
Learn the Zig programming language by fixing tiny broken programs.