danluu/julia-cookbook
julialang cookbook
Discovered public repositories for danluu in the GitHub catalog.
julialang cookbook
Public repository.
Deep Learning and Unsupervised Feature Learning Tutorial Solutions
Madison Hack and Tell presentations
Public repository.
Explanation of ncverilog error messages. Nothing fancy; just a text file.
Cross Operating System retrieval of CPU features.
Fork of Hydra source
Public repository.
Public repository.
Copy of http://pdos.csail.mit.edu/6.828/2012/xv6.html
Experiments and preliminary implementations of things
Learning rust
Copy of latest source from http://ftp.gnu.org/gnu/pth/
Implementing coroutines, channels, message passing, etc.
JSLinux rewritten to be human readable, hand deobfuscated and annotated.
Solutions for some exercises given in Marek's demo
Toy scala/akka Bittorrent client. Written while learning scala and now unmaintained
Worked through Derek Wyatt's Akka Concurrency book
Just playing around with basic neural net stuff, with a brief sojourn into deep learning via RBMs
Messing around with a SAT solver in clojure
Exercises from Thompson's "Haskell: The Craft of Functional Programming"
FPGA Sega in Verilog, for Xilinx Virtex, circa 2002. Has an emulator thrown in, to simplify FPGA debugging.
Formal verification of SecVisor, a secure hypervisor
Solutions and tests for Phil Gold's S-99: Ninety-Nine Scala Problems
Working through Erick Tryzelaar's LLVM tutorial
Just working through the tutorial at http://blog.ksplice.com/2010/03/libc-free-world/
Playing around with some bluespec tutorials
Learning F# and bluespec via Project Euler
.emacs, and perhaps some other things