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.
bibline
Incremental BibTeX parser and command line utility
Language:HaskellMIT000
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
Language:Rust000
spira
Spira is a framework for viewing RDF data as model objects
Language:RubyUnlicense000
yi
The Haskell-Scriptable Editor
Language:HaskellGPL-2.0000