russoul Goto Github PK

alacritty-config

checklist

Jetbrains internship entry project

cuda-mat

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

fish-tab-accept

Utilise the `Tab` key to start completion and to accept selected suggestion

idris-frex

idris2

A purely functional programming language with first class types

idris2-effect

Experimental effects library for Idris 2

idris2-hott

Learning me some HoTT in Idris 2

idris2-lsp

Language Server for Idris2

idris2-lua

Lua backend for Idris 2

idris2-mode

Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

idris2-pack-db

idris2-vim

Vim mode for Idris 2

idris2-vim-ide

just-a-monad

A monad that models stateful throwing IO computation

karabiner-config

learn-python

mather-scala

experimental symbolic expression parser and evaluator

minecraft-realistic-item-drops-addon

my-neovimcfg

Gotta store my configs for Neovim somewhere safe

nova

A programming language based on extensional Martin Lof Type Theory

nova-lsp

A language server for Nova

nvim-idris2

EXPERIMENTAL: Idris2 plugin for neovim in Idris2

pedigrees

poker-probability

Toy project that is all about calculating different probabilities in poker, mainly in Texas hold'em variant

russoul.github.io

http://russoul.me

time-interval

Compute total time in `hh:mm` format given a list of intervals `hh:mm-hh:mm`

uniscalalib

vox2d

2D constructive solid geometry rendered via ray-tracing

voxelized2d