Russoul
Follow
- Tbilisi, Georgia
Block or Report
Block or report Russoul
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
-
Voxelized3D-Rust Public
experimental voxel engine that uses dual contouring written in rust
656 contributions in the last year
Activity overview
Contributed to
idris-lang/Idris2,
idris-community/idris2-lsp,
Russoul/Idris2-Effect
and 10 other
repositories
Contribution activity
May 2022
Created 1 commit in 1 repository
Created 1 repository
- Russoul/idris-frex Idris
Created a pull request in idris-lang/Idris2 that received 4 comments
Opened 2 other pull requests in 2 repositories
frex-project/idris-frex
1
merged
idris-lang/Idris2
1
open
Reviewed 1 pull request in 1 repository
idris-lang/Idris2
1 pull request
13
contributions
in private repositories
May 2 – May 9