Discover @Russoul Open Source projects

Ruslan Φ. (@Russoul)

Russoul

Stars
117
Global Rank 185,430 (Top 7 %)
Followers 34
Following 4
Registered over 10 years ago
Most used languages

Idris 41.7 %

C++
16.7 %

Vim Script
8.3 %

Python
8.3 %

Scala
8.3 %

Rust
8.3 %

Lua
8.3 %
Location 🇬🇪 Georgia
Country Total Rank 103
Country Ranking

Idris 1

Scala
4

Vim Script
6

Rust
7

Lua
8

C++
15

Python
271

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

Idris2-Vim-Ide

My-NeovimCfg

Gotta store my configs for Neovim somewhere safe

cuda-mat

this is a library that uses the reference CUDA bicgstab Ax=b solver implementation

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`

Learn-Python

Nova

A programming language based on extensional Martin Lof Type Theory