Pinned Repositories
2017-10-02-sigai-meeting
Search algorithms for solving sliding puzzle games.
acm-sigai-website
The source for the K-State ACM-SIGAI club website.
adding-long-way-python
This is another problem to test one's ability to turn the algorithm for adding by hand into one for python.
almu575
A simple markup language for writing algorithms.
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
chimera
This is a application that helps groups stick together
coq-proofs-algebra-driven-design
Here are my proofs of the content in Algebra Driven Design by Sandy Maguire
Derivative-Haskell
This is an example of how to do derivatives in a language with algebraic data types like Haskell.
dbramucci's Repositories
dbramucci/2017-10-02-sigai-meeting
Search algorithms for solving sliding puzzle games.
dbramucci/acm-sigai-website
The source for the K-State ACM-SIGAI club website.
dbramucci/adding-long-way-python
This is another problem to test one's ability to turn the algorithm for adding by hand into one for python.
dbramucci/almu575
A simple markup language for writing algorithms.
dbramucci/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
dbramucci/chimera
This is a application that helps groups stick together
dbramucci/coq-proofs-algebra-driven-design
Here are my proofs of the content in Algebra Driven Design by Sandy Maguire
dbramucci/Derivative-Haskell
This is an example of how to do derivatives in a language with algebraic data types like Haskell.
dbramucci/elm-fingertree
A fingertree for elm
dbramucci/github-test-forking-upstream
dbramucci/java-auto-commenter
This is a program to automatically comment java source code.
dbramucci/markov_weekend_experiment
I played with markov chains this weekend.
dbramucci/meal-matcher-simple
A simple problem inspired by a recent trip I took.
dbramucci/nixpkgs
Nix Packages collection
dbramucci/process
Library for dealing with system processes
dbramucci/quickcheck
Automatic testing of Haskell programs.
dbramucci/realcalc
This is my personal attempt to write a command line calculator in Haskell.
dbramucci/SafeMatrixMultExperiment
dbramucci/semigroup-fizzbuzz
Here I use semigroups to create a beautiful solution to fizzbuzz that is admittedly, somewhat over-complicated.
dbramucci/SIGAI-Python-Crash-Course
A crash course in python for the spring 2017 SIGAI club.
dbramucci/Ticker501
Cis 501 project.
dbramucci/watson-the-lot
Our Hack K-State Fall 2016 project to detect cars on a parking lot and produce useful data from it.