Deterministic Typst compilation with Nix

G-code generator for 3D printers (RepRap, Makerbot, Ultimaker etc.)

Guide to using YubiKey for GnuPG and SSH

Lean 4 programming language and theorem prover

apk.sh makes reverse engineering Android apps easier, automating some repetitive tasks like pulling, decoding, rebuilding and patching an APK.

Sioyek is a PDF viewer with a focus on textbooks and research papers

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…

The Lean 4 web editor

Repo hosts npm packages for monaco-languageclient, vscode-ws-jsonrpc, monaco-editor-wrapper, @typefox/monaco-editor-react and monaco-languageclient-examples

Generate Nix expressions to build NPM packages

A modern resume template written in Typst, inspired by Awesome-CV

Create Nix configurations suitable for reproducible packaging

A full international colemak keyboard layout for physical keyboards on Android

Extension for Python-Markdown that makes lists truly sane. Custom indents for nested lists and fix for messy linebreaks and paragraphs between lists.

✨ Magical shell history

Klipper is a 3d-printer firmware

Kubernetes management with Nix

CiCd, GitHub Actions, Docker, Kubernetes, Jenkins, RobotFramework project for the DevOps Academy!

Web app that allows students to ask real-time, anonymous questions during class

Lesson 3: The first backend application using node and koa.

Lesson 2: Creating your first React application and releasing it in Heroku.

Learn the Zig programming language by fixing tiny broken programs.

The HTML Presentation Framework

A daemon script to dynamically update workspace names in i3wm based on their content.

Kvanttilaskennan kurssin 2022 materiaalit

a merging of the dusk and potato-dark themes for hugo