Mango The Fourth

dotfiles

Nix 0 1

my nixos dotfiles

Updated 2026-02-09 17:12:18 +02:00

ghci-module

Nix 0 0

Updated 2026-01-29 22:00:06 +02:00

ghc-runner-hetzner-quick

Nix 0 0

Updated 2026-01-20 19:12:17 +02:00

website

HTML 0 0

Updated 2026-01-04 11:10:51 +02:00

http-barf

Haskell 0 0

very simple, monoidal http client library for scripting in haskell

Updated 2026-01-04 11:10:34 +02:00

unclogging

Haskell 0 0

Updated 2026-01-03 22:25:08 +02:00

htree

Haskell 0 0

a haskell implementation of a heterogenous rose tree, indexed by a type level tree

Updated 2026-01-03 22:13:43 +02:00

scoped-codensity

Haskell 0 0

CPS resource allocation but as a Monad and completely safe

Updated 2026-01-03 22:12:11 +02:00

ghc-dev-meetup

HTML 0 0

Updated 2025-12-02 12:02:27 +02:00

webshop

Haskell 0 0

a webshop for motorcycle tours written in Haskell and deployed on NixOS

Updated 2025-08-25 00:54:49 +03:00

ania-website

Nix 0 0

Updated 2025-03-02 14:50:21 +02:00

haskell-note

Haskell 0 0

a microblogging style pastebin

Updated 2025-01-03 18:10:29 +02:00

sl2-rs

Rust 0 0

trying to implement "hashing with sl2" in rust. This is a certainly very bad implementation of hashing in the special linear group of the 2x2 matrix of elements in the galois field 2^128. See https://www.rocq.inria.fr/secret/Jean-Pierre.Tillich/publications/HashingSL2.pdf

Updated 2024-11-16 20:35:57 +02:00

simple-pool

Nix 0 0

a simple resource pool library

Updated 2024-11-13 15:26:12 +02:00

bachelor-thesis

Haskell 0 0

my bachelor thesis

Updated 2024-11-04 15:01:37 +02:00