Kiana Sheibani toki · she/her
0 followers · 0 following
Projects Packages Code Public activity Starred repositories
nixos-config
Nix 0 0
My NixOS omni-configuration
Updated 2025-04-03 00:46:01 -04: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
aether
Nix 0 0
A pure and incorruptible web server config
Updated 2025-04-02 06:12:00 -04:00
doom-config
Org 0 0
Doom Emacs literate configuration written in Org mode
Updated 2025-04-02 00:44:35 -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
idris2-ratio
Idris 0 0
Simple ratio library for Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-ratio
Updated 2025-04-02 00:41:15 -04:00
idris2-profunctors
Idris 0 0
Profunctors in Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-profunctors
Updated 2025-04-02 00:36:22 -04:00
numidr
Idris 0 0
Linear algebra library for Idris2 | GitHub Mirror: https://github.com/tokinanpa/numidr
Updated 2025-04-02 00:34:28 -04:00
advent-of-code-2024
Idris 0 0
My Advent of Code 2024 solutions, written in Idris2 (incomplete)
Updated 2025-04-02 00:31:04 -04:00
snake
Haskell 0 0
Snake implemented using FRP
Updated 2025-04-02 00:29:46 -04:00
forgejo-tokyo-night
CSS 0 0
Updated 2025-04-02 00:29:19 -04:00
rust-render
Rust 0 0
Updated 2025-04-02 00:27:08 -04:00
idris2-robotlib
Idris 0 0
Updated 2025-04-02 00:25:51 -04:00
idris2-render
Idris 0 0
Updated 2025-04-02 00:25:39 -04:00
conways-game-of-life
Haskell 0 0
Conway's Game of Life implemented using FRP and comonads
Updated 2025-04-02 00:20:43 -04:00