Kiana Sheibani toki · she/her
0 followers · 0 following
Repositories
18
 Projects Packages Code Public activity Starred repositories
Filter
Sort
doom-config
Org 0 0
Literate configuration for Doom Emacs
Updated 2024-11-14 01:11:19 -05:00
emacs-winum
Emacs Lisp 0 0
Updated 2024-11-14 01:10:27 -05:00
nixos-config
Nix 0 0
NixOS flake-based configuration
Updated 2024-11-04 16:46:42 -05:00
aether
Nix 0 0
A Webserver for Great Good! Powered by NixOS, nginx, and my eternal, burning hatred of the modern internet
Updated 2024-10-23 17:43:18 -04:00
resheet
Rust 0 0
Updated 2024-09-14 00:36:31 -04:00
StartRNR
Rust 0 0
A new rating system for competitive video games, based on start.gg data | GitHub Mirror: https://github.com/kiana-S/StartRNR
Updated 2024-08-17 21:56:05 -04:00
templates
Nix 0 0
Templates for projects in various languages, using various Nix package systems
Updated 2024-08-03 02:36:52 -04:00
idris2-ratio
Idris 0 0
Small ratio type library for Idris2 | GitHub Mirror: https://github.com/kiana-S/idris2-ratio
Updated 2024-07-21 07:27:10 -04:00
conways-game-of-life
Haskell 0 0
Implementation of Conway's Game of Life using comonads and FRP
Updated 2024-07-21 07:18:41 -04:00
idris2-lens
Idris 0 0
Profunctor optics/lenses for Idris2 | GitHub Mirror: https://github.com/kiana-S/idris2-lens
Updated 2024-07-21 07:17:38 -04:00
numidr
Idris 0 0
Linear algebra and data manipulation library for Idris2 | GitHub Mirror: https://github.com/kiana-S/numidr
Updated 2024-07-21 07:16:21 -04:00
idris2-robotlib
Idris 0 0
Robot Kinematics Library for Idris 2
Updated 2024-07-21 07:15:16 -04:00
idris2-profunctors
Idris 0 0
Profunctors in Idris2 | GitHub Mirror: https://github.com/kiana-S/idris2-profunctors
Updated 2024-07-21 07:12:49 -04:00
rust-render
Rust 0 0
Raytracing 3D renderer written in Rust
Updated 2024-07-21 07:11:16 -04:00
nix-snes-templates
Assembly 0 0
Updated 2024-07-21 06:47:52 -04:00