Explore - gitea: Gitea Service

Nix expressions for managing hosts, dotfiles, packages etc.

Updated 2023-07-29 12:59:55 +02:00

Updated 2023-03-27 10:56:41 +02:00

Updated 2023-03-22 09:30:27 +01:00

Updated 2023-03-22 09:30:14 +01:00

Website built with nix and hakyll

Updated 2023-03-12 22:27:45 +01:00

Dictionary application for studying japanese

natural-language

Updated 2023-02-24 09:55:55 +01:00

Autumn 2022 | Exercises for introductory lowlevel programming course

Updated 2022-12-19 18:15:56 +01:00

Advent of Code 2022 in Nix

advent-of-code-2022

Updated 2022-12-12 13:57:34 +01:00

Autumn 2022 | Scala project for programming language course

programming-languages

Updated 2022-12-09 20:14:41 +01:00

Easy search mechanism for nix manuals, built on fzf

Updated 2022-12-05 18:34:21 +01:00

Updated 2022-11-14 18:41:38 +01:00

Updated 2022-11-07 15:55:32 +01:00

A modern REPL for BrainFuck, written in Haskell

programming-languages

parser-combinators

Updated 2022-10-14 01:11:24 +02:00

Autumn 2021 | Exercises for introductory low level course

Updated 2022-08-27 16:30:11 +02:00

A SQLite database containing open source japanese language translation data

Updated 2022-08-23 18:26:52 +02:00

Some good old dotfiles. Will probably be deprecated in favour of nix-dotfiles

Updated 2022-06-02 16:25:45 +02:00

An unofficial api for searching and scraping the japanese dictionary Jisho.org

japanese-language

Updated 2022-05-08 02:06:45 +02:00

Proof of concept API usage and canvas in Elm

Updated 2022-04-12 18:41:54 +02:00

Collection of DSLs which can solve discrete mathematics problems.

Updated 2022-04-12 16:21:49 +02:00

TeX styles for schoolwork and other things

Updated 2022-04-10 22:10:06 +02:00

1 2