Niklas Halonen's repositories
atuin
✨ Magical shell history
apk.sh
apk.sh makes reverse engineering Android apps easier, automating some repetitive tasks like pulling, decoding, rebuilding and patching an APK.
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
formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
fullcolemak
A full international colemak keyboard layout for physical keyboards on Android
gradle2nix
Create Nix configurations suitable for reproducible packaging
i3-workspace-names-daemon
A daemon script to dynamically update workspace names in i3wm based on their content.
icebreaker
Web app that allows students to ask real-time, anonymous questions during class
klipper
Klipper is a 3d-printer firmware
kubenix
Kubernetes management with Nix
lean4
Lean 4 programming language and theorem prover
lean4game
Server to host lean games.
lean4web
The Lean 4 web editor
lesson2-react-template
Lesson 2: Creating your first React application and releasing it in Heroku.
lesson3-nodejs-template
Lesson 3: The first backend application using node and koa.
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.
modern-cv
A modern resume template written in Typst, inspired by Awesome-CV
monaco-languageclient
Repo hosts npm packages for monaco-languageclient, vscode-ws-jsonrpc, monaco-editor-wrapper, @typefox/monaco-editor-react and monaco-languageclient-examples
nixpkgs
Nix Packages collection & NixOS
node2nix
Generate Nix expressions to build NPM packages
reveal.js
The HTML Presentation Framework
simple-fortune-cookie-metropolia
CiCd, GitHub Actions, Docker, Kubernetes, Jenkins, RobotFramework project for the DevOps Academy!
sioyek
Sioyek is a PDF viewer with a focus on textbooks and research papers
typix
Deterministic Typst compilation with Nix
YubiKey-Guide
Guide to using YubiKey for GnuPG and SSH
ziglings
Learn the Zig programming language by fixing tiny broken programs.