Pinned Repositories
.d-vim
/ .files / -vim
.files-msysgit
dotfiles for msysgit
cyclotomic
cyclotomic
icfp12-paper-links
List of Accepted Papers to ICFP 2012, with Papers (preprints) linked
keithley-197
Software to fix and enhance a Keithley 197 multimeter
MapSatAltitude
[MSA]: Map Sat Altitude -- What orbit should I use to scan in KSP?
metamorphic
metamorphisms (aka playing with: (fold, (.), unfold)
pi-eta-epsilon
An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
puppy
protocol://uri:ports/path ... yaml?
zeroth
zeroth -- remove TH code and replace it with splices
technogeeky's Repositories
technogeeky/icfp12-paper-links
List of Accepted Papers to ICFP 2012, with Papers (preprints) linked
technogeeky/MapSatAltitude
[MSA]: Map Sat Altitude -- What orbit should I use to scan in KSP?
technogeeky/zeroth
zeroth -- remove TH code and replace it with splices
technogeeky/metamorphic
metamorphisms (aka playing with: (fold, (.), unfold)
technogeeky/cyclotomic
cyclotomic
technogeeky/keithley-197
Software to fix and enhance a Keithley 197 multimeter
technogeeky/bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
technogeeky/instance-templates
A Haskell feature proposal with TH prototype
technogeeky/Ru
Ru-28
technogeeky/text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
technogeeky/unfoldable
Class of data structures that can be unfolded.
technogeeky/Automaton
Reactive State Machine Framework for Arduino
technogeeky/clip2hs
technogeeky/de4dot
.NET deobfuscator and unpacker.
technogeeky/DSRemote
Operate your Rigol oscilloscope from your Linux desktop.
technogeeky/get_process_mem
Get memory usage of a process in Ruby
technogeeky/html-pipeline
HTML processing filters and utilities
technogeeky/icfp2014-papers
Accepted papers for ICFP 2014
technogeeky/InputVCR
An input recording/playback solution for Unity
technogeeky/kiba
Lightweight ETL for Ruby
technogeeky/ksp-unit
Generating KSP save-games for fun and profit. Well, for testing. and profit. For testing, at least.
technogeeky/KSPPP
[KSP] Plugin Platform
technogeeky/markup
The code we use to render README.your_favorite_markup
technogeeky/multimap
Ruby multimap implementation
technogeeky/PartCatalog
KSP PartCatalog Mod
technogeeky/qbwc
A Rails interface for Intuit's Quickbooks Web Connector
technogeeky/SCANsat
Real Scanning, Real Science, at Warp Speed!
technogeeky/Supybot
technogeeky/travis-ci-status
Add Travis CI status of the project to the Atom status bar.
technogeeky/UnityToolbag
Variety of Unity scripts and tools.