Kiana Sheibani toki · she/her
0 followers · 0 following
Repositories
24
 Projects Packages Code Public activity Starred repositories
Filter
Sort
cats-and-arrows
Idris 0 0
A categorical foundation for a new effect system, written in Idris2
Updated 2026-09-20 03:51:41 -04:00
MATH3322
Typst 0 0
Updated 2026-09-18 22:24:26 -04:00
autosync
Shell 0 0
Updated 2026-09-08 17:15:59 -04:00
MATH3204
Typst 0 0
Updated 2026-09-07 20:20:38 -04:00
nixos-config
Nix 0 0
My NixOS omni-configuration
Updated 2026-09-07 18:13:28 -04:00
aether
Nix 0 0
A pure and incorruptible web server config
Updated 2026-09-06 22:29:19 -04:00
templates
Nix 0 0
Nix flake templates for various languages and frameworks
Updated 2026-09-02 00:40:59 -04:00
doom-config
Org 0 0
Doom Emacs literate configuration written in Org mode
Updated 2026-09-02 00:10:30 -04:00
idris2-profunctors
Idris 0 0
Profunctors in Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-profunctors
Updated 2026-08-18 21:33:31 -04:00
quickshell-toki-night
QML 0 0
Updated 2026-08-08 02:42:04 -04:00
emacs-winum
Emacs Lisp 0 0
Updated 2026-07-29 22:27:12 -04:00
tokyo-night-sddm
QML 0 0
Updated 2026-02-11 23:56:49 -05:00
CS3502
C 0 0
Assignments for my CS3502: Operating Systems class
Updated 2025-12-04 18:05:01 -05:00
idris2-lens
Idris 0 0
Profunctor lenses in Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-lens
Updated 2025-04-03 00:06:19 -04:00
StartRNR
Rust 0 0
A new, cutting-edge rating system for competitive games | GitHub Mirror: https://github.com/tokinanpa/StartRNR
Updated 2025-04-02 00:43:03 -04:00