• Joined on 2021年01月17日
Filter
Sort
My personal NixOS configuration
Updated 2026年07月10日 22:59:29 +02:00
This repository contains my personal list of songs with chords for guitar I like to play. I play mostly country/folk Czech or English songs, but there are plenty more.
Updated 2026年07月10日 17:54:35 +02:00
Updated 2026年01月31日 20:14:14 +01:00
A framework for unifying multiple types of Nix configurations, allowing you to easily define them in the same modules.
Updated 2025年10月13日 08:20:23 +02:00
Updated 2025年05月11日 02:09:59 +02:00
Nix Book
Updated 2024年12月03日 05:50:09 +01:00
My solutions to Advent of Code (https://adventofcode.com/) coding puzzles in various languages.
Updated 2024年12月03日 05:46:51 +01:00
Updated 2024年12月03日 05:44:28 +01:00
Updated 2024年12月03日 05:44:13 +01:00
Updated 2024年12月03日 05:44:12 +01:00
Master's Thesis: Transducers in Automata Library Mata
Updated 2024年12月03日 05:44:10 +01:00
Analysis of Ultimate Automizer
Updated 2024年12月03日 05:43:10 +01:00
Security guarantees provided by Rust programming language.
Updated 2024年12月03日 05:42:29 +01:00
CLI Mod Manager for Dwarf Fortress
Updated 2024年12月03日 05:36:57 +01:00
A collection of some C++ snippets I tested
Updated 2024年12月03日 05:24:22 +01:00