Russoul

Tbilisi, Georgia

Pinned Repositories

cuda-mat
this is a library that uses the reference CUDA bicgstab Ax=b solver implementation
Language:C++3 3 01
Idris2-Effect
Experimental effects library for Idris 2
Language:Idris42 4 02
Idris2-HoTT
Learning me some HoTT in Idris 2
Language:Idris6 4 00
Idris2-Lua
Lua backend for Idris 2
Language:Idris27 7 41
Idris2-Vim-Ide
Language:Vim Script3 3 01
My-NeovimCfg
Gotta store my configs for Neovim somewhere safe
Language:Lua2 3 00
Nova
A programming language based on extensional Martin Lof Type Theory
Language:Idris2 3 260
voxelized3d
experimental 3D voxel engine, uses different derivatives of dual contouring algorithm
Language:C++12 3 03
Voxelized3D-Rust
experimental voxel engine that uses dual contouring written in rust
Language:Rust23 4 04

Russoul's Repositories

Russoul/Idris2-Effect
Experimental effects library for Idris 2
Language:Idris42 4 02
Russoul/Idris2-Lua
Lua backend for Idris 2
Language:Idris27 7 41
Russoul/Voxelized3D-Rust
experimental voxel engine that uses dual contouring written in rust
Language:Rust23 4 04
Russoul/Idris2-HoTT
Learning me some HoTT in Idris 2
Language:Idris6 4 00
Russoul/Idris2-Vim-Ide
Language:Vim Script3 3 01
Russoul/My-NeovimCfg
Gotta store my configs for Neovim somewhere safe
Language:Lua2 3 00
Russoul/Nova
A programming language based on extensional Martin Lof Type Theory
Language:Idris2 3 260
Russoul/abbrev-expand.nvim
Language:Lua1
Russoul/Learn-Python
Language:Python1 3 01
Russoul/nvim-idris2
EXPERIMENTAL: Idris2 plugin for neovim in Idris2
Language:Lua1 2 00
Russoul/Time-Interval
Compute total time in `hh:mm` format given a list of intervals `hh:mm-hh:mm`
Language:Idris1 3 0
Russoul/Alacritty-config
2 0
Russoul/fish-tab-accept
Utilise the `Tab` key to start completion and to accept selected suggestion
Language:Shell2 0
Russoul/idris-frex
Language:Idris1 0
Russoul/Idris2
A purely functional programming language with first class types
Language:Scheme2 0
Russoul/idris2-lsp
Language Server for Idris2
Language:Idris2 0
Russoul/idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
Russoul/idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Language:Emacs Lisp2 0
Russoul/idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
Russoul/idris2-pack-db
1 0
Russoul/idris2-vim
Vim mode for Idris 2
Language:Vim Script2 0
Russoul/Just-a-Monad
A monad that models stateful throwing IO computation
2 0
Russoul/Just-a-Parser
Fork of the std/contrib parser without type-level indexing
Language:Idris1 0
Russoul/Karabiner-config
2 0
Russoul/massimult-paper
A public copy of the paper on the workings of Massimult (https://massimult.org)
Language:TeX
Russoul/Nova-Lsp
A language server for Nova
Language:Idris2 0
Russoul/Papers
A list of papers important to me
1 0
Russoul/Pedigrees
Language:Idris3 0
Russoul/russoul.github.io
http://russoul.me
2 0
Russoul/Vox2D
2D constructive solid geometry rendered via ray-tracing
Language:Idris2 0