Pinned Repositories
cas
Computer algebra system in Haskell
cifar10
Image clasification on cifar10 dataset
Combinatorics
Combinations and variations with/without repetition
FieldE
Elliptic curve over finite field
GFpGFqV3
Vector space (over finite field) construction of projective plane
godot-ser
Binary [de]serialization compatible with Godot game engine's default serialization (var_to_bytes, bytes_to_var)
godot-ser-demo
Demo usage of godot-ser library. Haskell (server and client) and Godot (client)
group-mono
Group of monotonic functions
Lambda
Lambda arithmetic
nixos-configuration
vcanadi's Repositories
vcanadi/nixos-configuration
vcanadi/cas
Computer algebra system in Haskell
vcanadi/Lambda
Lambda arithmetic
vcanadi/cifar10
Image clasification on cifar10 dataset
vcanadi/Combinatorics
Combinations and variations with/without repetition
vcanadi/FieldE
Elliptic curve over finite field
vcanadi/GFpGFqV3
Vector space (over finite field) construction of projective plane
vcanadi/godot-ser
Binary [de]serialization compatible with Godot game engine's default serialization (var_to_bytes, bytes_to_var)
vcanadi/godot-ser-demo
Demo usage of godot-ser library. Haskell (server and client) and Godot (client)
vcanadi/group-mono
Group of monotonic functions
vcanadi/Kmeans
vcanadi/MMS-3D3S
3d tetris game with OpenGL in Unity
vcanadi/nixage
Dismantle stack because who needs it when we have Nix and Stackage
vcanadi/nixpkgs
Nix Packages collection
vcanadi/prelude-custom
Prelude replacement with additional useful libraries
vcanadi/test-declarative-proj-src
Source for Hydra jobsets
vcanadi/tree-diff
Diffing of (expression) trees.
vcanadi/xmonad
.xmonad and .xmobarrc config files