Kiana Sheibani toki · she/her
0 followers · 0 following
Repositories
19
 Projects Packages Code Public activity Starred repositories
Filter
Sort
advent-of-code-2024
Idris 0 0
Advent of Code 2024 solutions using Idris2
Updated 2024-12-09 02:30:20 -05:00
aether
Nix 0 0
A pure and incorruptible web server config
Updated 2024-11-22 18:58:26 -05:00
numidr
Idris 0 0
Linear algebra and data manipulation library for Idris2 | GitHub Mirror: https://github.com/tokinanpa/numidr
Updated 2024-11-19 22:04:38 -05:00
idris2-lens
Idris 0 0
Profunctor optics/lenses for Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-lens
Updated 2024-11-19 22:02:37 -05:00
idris2-ratio
Idris 0 0
Small ratio type library for Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-ratio
Updated 2024-11-19 22:00:59 -05:00
idris2-profunctors
Idris 0 0
Profunctors in Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-profunctors
Updated 2024-11-19 21:59:10 -05:00
StartRNR
Rust 0 0
A new rating system for competitive video games, based on start.gg data | GitHub Mirror: https://github.com/tokinanpa/StartRNR
Updated 2024-11-19 21:51:21 -05:00
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
resheet
Rust 0 0
Updated 2024-09-14 00:36:31 -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
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-robotlib
Idris 0 0
Robot Kinematics Library for Idris 2
Updated 2024-07-21 07:15:16 -04:00
rust-render
Rust 0 0
Raytracing 3D renderer written in Rust
Updated 2024-07-21 07:11:16 -04:00