Călin Ardelean's repositories
idris-loader
Dynamic loading of Idris modules
feed-reader
RSS/Atom Feed Reader
idris-codegen-ext
An idris executable extended with a new codegen
rdf-sesame
RDF.rb plugin for accessing Sesame 2.0-compatible repositories.
dynamic-meta
Dynamic compilation methods
mmn80.github.io.src
Hakyll sources for mmn80.github.io
quandkey-test
quandkey test
razer-blackwidow-ultimate
Enables M1-M5 and FN keys in Linux for the Razer BlackWidow Ultimate keyboard.
rust-gfx-test
rust gfx test