bernied

Pinned Repositories

bcfun
Bitcoin fun!
Language:C1 3 00
bingo_scratchers
Attempt to calculate some probabilities associated with bingo scratchers.
Language:Scheme1 2 00
capriccio
The Capriccio project aims to create tools to ease the burden on programmers who develop high-performance systems software.
Language:C2 2 02
erlawys
erlawys is an implementation of the Amazon Web Services API (AWS) in erlang.
Language:Erlang2 3 00
nice-sat
Circuit to DIMACS CNF tool split from BAT
Language:Shell1 2 00
objective-scheme
Implement oop model for scheme.
Language:Scheme2 2 00
permgraph
Program to generate permutation graphs.
Language:C2 2 10
qr2btc
Converts scanned bitaddress .png file to bit coin addresses/private keys using QRCodes
Language:Java1 2 00
sophie
Solution to Facebook find Sophie puzzle.
Language:C1 2 00
ssax
SSAX library written by Oleg Kiselyov et al. for XML/SXML processing in Scheme.
Language:Scheme4 2 05

bernied's Repositories

bernied/ssax
SSAX library written by Oleg Kiselyov et al. for XML/SXML processing in Scheme.
Language:Scheme4 2 05
bernied/capriccio
The Capriccio project aims to create tools to ease the burden on programmers who develop high-performance systems software.
Language:C2 2 02
bernied/erlawys
erlawys is an implementation of the Amazon Web Services API (AWS) in erlang.
Language:Erlang2 3 00
bernied/objective-scheme
Implement oop model for scheme.
Language:Scheme2 2 00
bernied/permgraph
Program to generate permutation graphs.
Language:C2 2 10
bernied/bcfun
Bitcoin fun!
Language:C1 3 00
bernied/bingo_scratchers
Attempt to calculate some probabilities associated with bingo scratchers.
Language:Scheme1 2 00
bernied/nice-sat
Circuit to DIMACS CNF tool split from BAT
Language:Shell1 2 00
bernied/qr2btc
Converts scanned bitaddress .png file to bit coin addresses/private keys using QRCodes
Language:Java1 2 00
bernied/sophie
Solution to Facebook find Sophie puzzle.
Language:C1 2 00
bernied/bitbuddy
A tool to generate Binary Decision Diagram (BDD) from simple commands.
Language:C0 2 00
bernied/check_deck
Program to determine how many rounds it will take to put a card deck back into the original order.
Language:C0 2 01
bernied/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
Language:C++2 0
bernied/dotfiles
Dotfiles for macos.
Language:Shell2 0
bernied/go-daikon-box
[NOT FUNCTIONAL] A vagrant box to make it easy to run daikon (the dynamic invariant detector) against go code.
Language:Ruby2 0
bernied/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
Language:C++2 0
bernied/mac-dev-playbook
Development configuration for Mac.
2 0
bernied/mindmaps
Some freemind mind maps I have created
Language:Objective-C++2 0
bernied/mutti
A card game based on permutations.
Language:C2 0
bernied/sylvan
Implementation of multi-core (binary) decision diagrams
Language:C2 0