natebragg

Pinned Repositories

bankroll
Wrapper for COIN-OR CLP and CBC
Language:Haskell2 2 00
buildbot
Python-based continuous integration testing framework; send pull requests for your patches!
Language:Python1 2 00
django
The Web framework for perfectionists with deadlines. Now on GitHub.
Language:Python3 3 01
django-old
Official clone of the Subversion repository.
Language:Python2 2 01
ipcdevice
A simple fifo-like linux kernel module, meant as a learning exercise.
Language:C1 2 00
MegiddoLP
An implementation of Megiddo's LP algorithm
Language:C4 2 01
ratl
Language:Haskell2 2 00
reviewboard
A powerful Web 2.0 code review tool
Language:Python1 2 00
sketches
Language:Shell1 2 00
smudge
A domain-specific language for state machines.
Language:Haskell2 2 00

natebragg's Repositories

natebragg/MegiddoLP
An implementation of Megiddo's LP algorithm
Language:C4 2 01
natebragg/django
The Web framework for perfectionists with deadlines. Now on GitHub.
Language:Python3 3 01
natebragg/bankroll
Wrapper for COIN-OR CLP and CBC
Language:Haskell2 2 00
natebragg/django-old
Official clone of the Subversion repository.
Language:Python2 2 01
natebragg/ratl
Language:Haskell2 2 00
natebragg/smudge
A domain-specific language for state machines.
Language:Haskell2 2 00
natebragg/buildbot
Python-based continuous integration testing framework; send pull requests for your patches!
Language:Python1 2 00
natebragg/ipcdevice
A simple fifo-like linux kernel module, meant as a learning exercise.
Language:C1 2 00
natebragg/reviewboard
A powerful Web 2.0 code review tool
Language:Python1 2 00
natebragg/sketches
Language:Shell1 2 00
natebragg/-ListenTo
Stream music in tweets with #ListenTo to your SoundTouch System
Language:CSS2 0
natebragg/adaptive-concretization
Adaptive Concretization for Parallel Program Synthesis
Language:Python2 0
natebragg/connectbot
ConnectBot is the first SSH client for Android.
Language:Java2 0
natebragg/java-sketch
a Java front-end for Sketch synthesis tool
Language:Java2 0
natebragg/MPAndroidChart
A powerful Android chart view / graph view library, supporting line- bar- pie- radar- bubble- and candlestick charts as well as scaling, dragging and animations.
Language:Java2 0
natebragg/ofxparse
Ofx file format parser for Python
Language:Python2 0
natebragg/personal_website
Language:HTML1 0
natebragg/reduce
A monadic small-step interpreter
Language:Haskell2 0
natebragg/rst2pdf
Use a text editor. Make a PDF.
Language:Python2 0
natebragg/sketch-backend
Language:C++1 0
natebragg/smear
Smudge runtime environment
Language:C2 0
natebragg/splat
Smudge Platform Libraries And Toolchain
Language:Makefile2 0
natebragg/URIPathFinder
A simple parser for URI
Language:C
natebragg/vim
My vim configuration
Language:Vim Script2 0