zottel Goto Github PK

99-fsharp-problems

An attempt to solve 99 Scala Problems (http://aperiodic.net/phil/scala/s-99/) using F#

apple-410

Documentation and driver for the Apple 410 Color Plotter.

aurora

I forgot to count them - but I guess this is irc bot number ~10

automount-usb-nas

Automount my drives for my nas and delay mariadb loading

ayu-vim

Modern theme for modern VIMs

bittenfeld

IRC Bot for learning Haskell

boogieleaks

Boogie spec language to smt solver. Unfinished lecture exercise.

bootb

A small - mostly working - brainfuck interpreter to be written into the master boot record of a disk.

checklist

The Haskell performance checklist

dix

Erster Gehversuch eines XML Markups mit XSLT Stylesheet für HTML

drucksachen

3D Druck Modelle in OpenSCAD

esp8266-injection-example

A small project to demonstrate sniffer / packet injection capabilities of ESP8266 IC.

goudy-bookletter-1911

A public domain font based on Frederic Goudy’s Kennerley Oldstyle.

granular-grief

A Minecraft Forge mod for more granular mob griefing control.

haskell-scalable-server

Library for writing fast/scalable TCP-based services in Haskell

julios

Ein Versuch einen kleinen Kernel in C++ zu schreiben.

linux-insides

A little bit about a linux kernel

max7219-systemverilog-driver

moodboard

KiCad board schematics for MoodlightUSB

moodfirmware

Firmware for the MoodlightUSB Project http://q-rai.de/?tag=moodlight

moodlightusb

The MoodLightUSB is a notification device for incoming messages (long-term). It uses an ATMega32u2. Beware: The Hardware v2 does not work as-is!

moodpy

Python API for the MoodlightUSB Project http://q-rai.de/?tag=moodlight

morwenna

AI for Spacequest. Done strange.

ms-dos

Snippets of MS-DOS compatible Code

opencl_scad_experiment

Experimental implementation of a SCAD machine in OpenCL for FPGAs.

orbitron

A geometric sans-serif from the future.

plex

The package of IBM’s typeface, IBM Plex.

raleway

An elegant sans-serif, designed in a single thin weight.

resycling

Lösungen des Bachelorprojekts "Hardwarenahe Programmierung".

rrdscout

RRDscout is a web frontend to generate rrd graphs from rrd files created by collectd.