mmn80

muesli

A document-oriented database library for Haskell

idris-loader

Dynamic loading of Idris modules

rdf-do

DataObjects-backed repositories for RDF.rb

feed-reader

RSS/Atom Feed Reader

idris-codegen-ext

An idris executable extended with a new codegen

illymap

Illyriad Heat & Partition Maps

ipm

rdf

RDF.rb is a pure-Ruby library for working with Resource Description Framework (RDF) data.

rdf-sesame

RDF.rb plugin for accessing Sesame 2.0-compatible repositories.

quatrain

3D mill game

swarm-hole

bibline

Incremental BibTeX parser and command line utility

dynamic-meta

Dynamic compilation methods

faps

Yet another Fraps for Linux

ghced

Idris-dev

A Dependently Typed Functional Programming Language

mmn80.github.io.src

Hakyll sources for mmn80.github.io

protos

Bevy tests

quandkey-test

quandkey test

rafx

Multi-backend renderer built on top of distill. The objective of this repo is to build a scalable, flexible, data driven renderer.

razer-blackwidow-ultimate

Enables M1-M5 and FN keys in Linux for the Razer BlackWidow Ultimate keyboard.

rust-gfx-test

rust gfx test

spira

Spira is a framework for viewing RDF data as model objects

yi

The Haskell-Scriptable Editor

yi-static

My static yi configuration