Ruslan Φ.'s repositories
Idris2-Effect
Experimental effects library for Idris 2
Idris2-Lua
Lua backend for Idris 2
Voxelized3D-Rust
experimental voxel engine that uses dual contouring written in rust
voxelized3d
experimental 3D voxel engine, uses different derivatives of dual contouring algorithm
Idris2-HoTT
Learning me some HoTT in Idris 2
My-NeovimCfg
Gotta store my configs for Neovim somewhere safe
nvim-idris2
EXPERIMENTAL: Idris2 plugin for neovim in Idris2
poker-probability
Toy project that is all about calculating different probabilities in poker, mainly in Texas hold'em variant
Time-Interval
Compute total time in `hh:mm` format given a list of intervals `hh:mm-hh:mm`
fish-tab-accept
Utilise the `Tab` key to start completion and to accept selected suggestion
idris2-lsp
Language Server for Idris2
idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
idris2-vim
Vim mode for Idris 2
Just-a-Monad
A monad that models stateful throwing IO computation
mather-scala
experimental symbolic expression parser and evaluator
Papers
A list of papers important to me
russoul.github.io
http://russoul.me