Repositories Organizations Code
Filter
Sort
toki/ aether
Nix 0 0
A Webserver for Great Good! Powered by NixOS, nginx, and my eternal, burning hatred of the modern internet
Updated 2024-09-14 02:28:05 -04:00
toki/ resheet
Rust 0 0
Updated 2024-09-14 00:36:31 -04:00
toki/ doom-config
Org 0 0
Literate configuration for Doom Emacs
Updated 2024-08-27 01:02:14 -04:00
toki/ emacs-winum
Emacs Lisp 0 0
Updated 2024-08-26 19:25:38 -04:00
toki/ 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
toki/ nixos-config
Nix 0 0
NixOS flake-based configuration
Updated 2024-08-14 07:05:15 -04:00
toki/ templates
Nix 0 0
Templates for projects in various languages, using various Nix package systems
Updated 2024-08-03 02:36:52 -04:00
toki/ 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
toki/ 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
toki/ 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
toki/ 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
toki/ idris2-robotlib
Idris 0 0
Robot Kinematics Library for Idris 2
Updated 2024-07-21 07:15:16 -04:00
toki/ 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
toki/ rust-render
Rust 0 0
Raytracing 3D renderer written in Rust
Updated 2024-07-21 07:11:16 -04:00
toki/ nix-snes-templates
Assembly 0 0
Updated 2024-07-21 06:47:52 -04:00
toki/ nix-haskell-template
Nix 0 0
Updated 2024-07-21 06:47:29 -04:00
toki/ idris2-render
Idris 0 0
Updated 2024-07-21 06:46:18 -04:00
toki/ snake
Haskell 0 0
Snake in Haskell using FRP (Functional Reactive Programming)
Updated 2024-07-21 06:39:40 -04:00