Pinned Repositories
feed-reader
RSS/Atom Feed Reader
idris-codegen-ext
An idris executable extended with a new codegen
idris-loader
Dynamic loading of Idris modules
illymap
Illyriad Heat & Partition Maps
ipm
muesli
A document-oriented database library for Haskell
quatrain
3D mill game
rdf-do
DataObjects-backed repositories for RDF.rb
swarm-hole
mmn80's Repositories
mmn80/muesli
A document-oriented database library for Haskell
mmn80/idris-loader
Dynamic loading of Idris modules
mmn80/rdf-do
DataObjects-backed repositories for RDF.rb
mmn80/feed-reader
RSS/Atom Feed Reader
mmn80/idris-codegen-ext
An idris executable extended with a new codegen
mmn80/illymap
Illyriad Heat & Partition Maps
mmn80/ipm
mmn80/rdf
RDF.rb is a pure-Ruby library for working with Resource Description Framework (RDF) data.
mmn80/rdf-sesame
RDF.rb plugin for accessing Sesame 2.0-compatible repositories.
mmn80/quatrain
3D mill game
mmn80/swarm-hole
mmn80/bibline
Incremental BibTeX parser and command line utility
mmn80/dynamic-meta
Dynamic compilation methods
mmn80/faps
Yet another Fraps for Linux
mmn80/ghced
mmn80/Idris-dev
A Dependently Typed Functional Programming Language
mmn80/mmn80.github.io.src
Hakyll sources for mmn80.github.io
mmn80/protos
Bevy tests
mmn80/quandkey-test
quandkey test
mmn80/rafx
Multi-backend renderer built on top of distill. The objective of this repo is to build a scalable, flexible, data driven renderer.
mmn80/razer-blackwidow-ultimate
Enables M1-M5 and FN keys in Linux for the Razer BlackWidow Ultimate keyboard.
mmn80/rust-gfx-test
rust gfx test
mmn80/spira
Spira is a framework for viewing RDF data as model objects
mmn80/yi
The Haskell-Scriptable Editor
mmn80/yi-static
My static yi configuration