tokinanpa

IMPORTANT: Most of my code has been moved to https://git.tokinanpa.dev/

Pinned Repositories

doomemacs
An Emacs framework for the stubborn martian hacker
Language:Emacs Lisp19.7k 233 4.5k3.1k
eww
ElKowars wacky widgets
Language:Rust9.6k 43 738399
nixos-hardware
A collection of NixOS modules covering hardware quirks.
Language:Nix2.1k 67 307660
eww
ElKowars wacky widgets
Language:Rust00
idris2-lens
Mirror of https://git.tokinanpa.dev/toki/idris2-lens
Language:Idris11
idris2-profunctors
Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors
Language:Idris0 1 00
idris2-ratio
Mirror of https://git.tokinanpa.dev/toki/idris2-ratio
Language:Idris10
idris2-tutorial
Language:Idris00
numidr
Mirror of https://git.tokinanpa.dev/toki/numidr
Language:Idris5 1 10
StartRNR
Mirror of https://git.tokinanpa.dev/toki/StartRNR
Language:Rust0 1 00

tokinanpa's Repositories

tokinanpa/numidr
Mirror of https://git.tokinanpa.dev/toki/numidr
Language:Idris5 1 10
tokinanpa/idris2-lens
Mirror of https://git.tokinanpa.dev/toki/idris2-lens
Language:Idris11
tokinanpa/idris2-ratio
Mirror of https://git.tokinanpa.dev/toki/idris2-ratio
Language:Idris10
tokinanpa/eww
ElKowars wacky widgets
Language:Rust00
tokinanpa/idris2-profunctors
Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors
Language:Idris0 1 00
tokinanpa/idris2-tutorial
Language:Idris00
tokinanpa/StartRNR
Mirror of https://git.tokinanpa.dev/toki/StartRNR
Language:Rust0 1 00