mokus0/avr-candle
3 LED flickering candle for ATtiny13A
Developer Profile
mokus0
Discovered public repositories for mokus0 in the GitHub catalog.
mokus0/schematics
Various schematics and pcb layouts for my personal projects
mokus0/xbee
xbee interface for Haskell
mokus0/avr-shake
Shake build system actions for Atmel's GCC-based AVR toolchain
mokus0/SousVide
An Arduino sous vide project
mokus0/show
Small Haskell package to add show instances to functions, mainly to support lambdabot.
mokus0/unlambda
An Unlambda interpreter in Haskell
mokus0/brainfuck
A Brainfuck interpreter in Haskell
mokus0/statscraper
Quick and dirty system monitor, mainly for my own use
mokus0/hstatsd
A very simple statsd interface for Haskell
mokus0/pwm10
Very simple Arduino code to set PWM modes.
mokus0/hla-fed-parser
parser for HLA FED files
mokus0/monad-loops-stm
STM-specific control operators (split out of monad-loops as of version 0.4)
mokus0/BridgeSupport
BridgeSupport parser for Haskell
mokus0/objc-ffi
Objective C types and such (work in progress)
mokus0/libffi-dynamic
Flexible LibFFI interface for Haskell
mokus0/hoc
Haskell to Objective-C bridge (work in progress: 64-bit support for Mac OS 10.7)
mokus0/Set
Various old projects related to the "Set!" card game
mokus0/set-cover
Simple brute force and heuristic solvers for the set cover problem.
mokus0/misfortune
A fortune-mod clone
mokus0/bitvec
Bit arrays for Haskell
mokus0/primitive-ref
Data.STRef generalized to all PrimMonads
mokus0/Agda.tmbundle
A TextMate bundle for the Agda language
mokus0/ecma-048
Parsers for ECMA-48 ("ANSI") terminal escape codes and control sequences
mokus0/vector-rope
Simple ropes as finger-trees of vectors, implementing the generic Vector interfaces
mokus0/th-extras
A grab bag of useful functions for use with Template Haskell
mokus0/dependent-sum-template
Template Haskell code to generate instances of classes from dependent-sum
mokus0/categories
Categories parametrized by morphism equality, in Agda
mokus0/landmarks
Landmarks plugin for bukkit
mokus0/oneOfN
Anonymous cotuples for Haskell
mokus0/Commodities
Yet another Minecraft market plugin for Bukkit. This one aims to be very, very simple.
mokus0/hla-omdt-parser
Data structure and parser for HLA OMDT data files
mokus0/hla-rti13
Haskell bindings to the HLA 1.3 RTI interface (supports 1.3NG and DLC APIs)
mokus0/hs-hdf5
Low-level typesafe HDF5 bindings
mokus0/HomeBukkit
Provides a home system for Bukkit
mokus0/ScrapBukkit
Miscellaneous "default" commands for Bukkit
mokus0/beta
Beta function and incomplete Beta functions
mokus0/flexible-defaults
Template Haskell system for implementing type classes with complex default-implementation rules
mokus0/hdf5
Extremely unofficial mirror of HDF5 releases
mokus0/bindings-hdf5
Low-level Haskell FFI bindings to the HDF5 library
mokus0/dependent-graph
Experimental dependently-typed graph data structure; each node has an associated type, and each edge label's type depends on those of the nodes it connects
mokus0/category-extras
category-theoretic goodness for Haskell
mokus0/log4j-properties
Programmatically create log4j PropertyConfigurator properties files
mokus0/properties-file
Java "properties" file access in Haskell
mokus0/monoid-statistics
Monoids for computing series statistics in constant space
mokus0/beep
Incomplete BEEP library
mokus0/shapefile-utils
Odd little utilities related to shape files
mokus0/shapefile
Parser and related tools for ESRI shapefile format
mokus0/rwlock
A simple implementation of a multiple-reader / single-writer locks using STM
mokus0/dbf
Read and write XBase ".dbf" files