Repositories Organizations Code
Filter
Sort
toki/ advent-of-code-2024
Idris 0 0
Advent of Code 2024 solutions using Idris2
Updated 2024-12-09 02:30:20 -05:00
toki/ aether
Nix 0 0
A pure and incorruptible web server config
Updated 2024-11-22 18:58:26 -05:00
toki/ 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
toki/ 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
toki/ 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
toki/ 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
toki/ 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
toki/ doom-config
Org 0 0
Literate configuration for Doom Emacs
Updated 2024-11-14 01:11:19 -05:00
toki/ emacs-winum
Emacs Lisp 0 0
Updated 2024-11-14 01:10:27 -05:00
toki/ nixos-config
Nix 0 0
NixOS flake-based configuration
Updated 2024-11-04 16:46:42 -05:00
toki/ resheet
Rust 0 0
Updated 2024-09-14 00:36:31 -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/ 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-robotlib
Idris 0 0
Robot Kinematics Library for Idris 2
Updated 2024-07-21 07:15:16 -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