Pinned Repositories
4clojure
My solutions to 4Clojure problems
bookmarks
Bookmarks management webapp written in Clojure
brace
Air quality in italian cities
chatty
Instant Messaging for Work & Leisure
hops
Highly Optimized Pythonic Structures
M-x-my-emacs
Getting serious on Emacs configuration
minisat
A minimalistic and high-performance SAT solver
trunk
Your personal data repository
vertx3-eventbus-tcp-bridge-c
Vert.X 3 TCP event bus bridge client library
yasmv
yasmv - Yet Another Symbolic Model Verifier
mwolf76's Repositories
mwolf76/brace
Air quality in italian cities
mwolf76/vertx3-eventbus-tcp-bridge-c
Vert.X 3 TCP event bus bridge client library
mwolf76/yasmv
yasmv - Yet Another Symbolic Model Verifier
mwolf76/chatty
Instant Messaging for Work & Leisure
mwolf76/hops
Highly Optimized Pythonic Structures
mwolf76/M-x-my-emacs
Getting serious on Emacs configuration
mwolf76/minisat
A minimalistic and high-performance SAT solver
mwolf76/pony-mode
Django mode for emacs - several tweaks to support multiple configurations
mwolf76/4clojure
My solutions to 4Clojure problems
mwolf76/bookmarks
Bookmarks management webapp written in Clojure
mwolf76/trunk
Your personal data repository
mwolf76/arduino-code
Public repository for arduino code
mwolf76/clj-microservice-lein-template
Leiningen template to generate a stub Clojure microservice
mwolf76/hadoop-minimalistic-virtualized-cluster
Vagrant-based virtualized cluster deployment for Hadoop 2.x
mwolf76/pocket-dns
A lightweight portable DNS server
mwolf76/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
mwolf76/timestamps
Run a program with timestamped output
mwolf76/vertx3-hello
A simple demo webapp built with vert.x3.