Pinned Repositories
aoc2020-tla-plus
Advent of Code 2020 in TLA+
boring-task-queue
TLA+ specification for yet another PostgreSQL-based Task Queue
de-moivre
A Clojure library to implement Abraham de Moivre's "Inclusion–exclusion principle" applied to probability.
dockerhost
DEPRECATED - A template and playground for my dev environment vagrant box
i-rant
My weblog
references
simian-flu
Distributed Simian Flu Pandemic simulation in Clojure
stm.io
[WIP] Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control.
arnaudbos's Repositories
arnaudbos/android-imagedownloader
Automatically exported from code.google.com/p/android-imagedownloader
arnaudbos/ansible-onyx
[Inactive] Ansible playbook for Onyx
arnaudbos/continuations
Java Maven port of Matthias Mann's continuations library for Java
arnaudbos/grin
arnaudbos/impish
arnaudbos/kioo-reagent
arnaudbos/local-meetups
arnaudbos/luscinia
Electronic Medical Records (EMR) Android app for my MSc thesis @ Oxford Brookes
arnaudbos/onyx-cassandra
arnaudbos/onyx-console-dashboard
A console dashboard for Onyx
arnaudbos/onyx-etl
[Not actively maintained] Extract, transform, load convenience Onyx package
arnaudbos/onyx-etl-support
Supporting code for the onyx-etl tool
arnaudbos/onyx-log-subscriber-demo
Demo of subscribing to the Onyx log.
arnaudbos/onyx-ruby
Ruby API for Onyx
arnaudbos/openaccessmanifesto
Guerilla Open Access Manifesto, by Aaron Swartz, in several languages
arnaudbos/samsara
Samsara is a real-time analytics platform
arnaudbos/slackbot-dailysong
Forked from brandonshin/slackbot-workout: A fun hack that gets Slackbot to assign a teammates the daily song task!
arnaudbos/starbot
Forked as reference implementation: nothing to see here
arnaudbos/steam
WIP - Enlive style templating with Hiccup output
arnaudbos/vimfiles
The ~/.vim directory that we share at work