Pinned Repositories
chip8i
Chip8 emulator written in Idris
dotfiles
My NixOS configuration
elm-treemap
A treemap visualizer in Elm.
fsharp-finger-trees
Finger Trees in F#.
gnucash-tools
katakuri
A Slack bot, written in Elixir.
led-movie-visualization
LED screen art visualization.
lua-transducers
Transducers, in Lua.
pcg
Procedural content generation experiments, written in Rust.
persona5-prolog
persona5 terms in prolog
cantsin's Repositories
cantsin/fsharp-finger-trees
Finger Trees in F#.
cantsin/pcg
Procedural content generation experiments, written in Rust.
cantsin/katakuri
A Slack bot, written in Elixir.
cantsin/chip8i
Chip8 emulator written in Idris
cantsin/dotfiles
My NixOS configuration
cantsin/elm-treemap
A treemap visualizer in Elm.
cantsin/gnucash-tools
cantsin/persona5-prolog
persona5 terms in prolog
cantsin/platformer
An experimental demo created with Unreal Engine 4 Bluescripts and Paper2D functionality.
cantsin/10x-rabbit
cantsin/10x-shared-components-docassemble
cantsin/10x-shared-components-phase-3
cantsin/agda-experiments
Playing around with Agda.
cantsin/cantsin.github.io
My blog: A Dream of Reason.
cantsin/centers-of-excellence
All the excellent centers
cantsin/dotemacs
My emacs configuration.
cantsin/EmberInterval
cantsin/git-tracker
Track meaningful git activity.
cantsin/imls-pi-stack
cantsin/imls-standalone
cantsin/kinect2
Nodejs library to access the kinect 2 data from the official MS SDK
cantsin/KinectServer
cantsin/matasano-crypto
The Matasano crypto challenges in Rust.
cantsin/ov2o
Summarize iCalendar files into Org format.
cantsin/pcgs
preconditioned conjugate gradient with modified incomplete cholesky preconditioner
cantsin/remacs
Rust :heart: Emacs
cantsin/remacs-nix
Nix derivations for remacs
cantsin/slack-request
A system for moderating Slack invites.
cantsin/sos-display
Display front-end for the Sanctuary of Self
cantsin/splashy
A fluid simulator in F#.