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/aoc2020-tla-plus
Advent of Code 2020 in TLA+
arnaudbos/simian-flu
Distributed Simian Flu Pandemic simulation in Clojure
arnaudbos/stm.io
[WIP] Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control.
arnaudbos/boring-task-queue
TLA+ specification for yet another PostgreSQL-based Task Queue
arnaudbos/i-rant
My weblog
arnaudbos/level-up
The journey also matters
arnaudbos/untangled
Experiments with Project Loom (Early Access Builds)
arnaudbos/.dotfiles
Automated Configuration, Preferences and Software Installation for OSX (and Ubuntu, WIP)
arnaudbos/arnaudbos.com
Home
arnaudbos/arnaudbos.github.io
My corner of the interweb.
arnaudbos/build-your-own-radar
A library that generates an interactive radar, inspired by http://thoughtworks.com/radar/
arnaudbos/clj-graal-docs
Scripts and tips to get Clojure latest working with GraalVM latest
arnaudbos/clj-http-lite
A lite version of clj-http that uses the jre's HttpURLConnection
arnaudbos/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
arnaudbos/cursive-2124-reprocase
Reproduce https://github.com/cursive-ide/cursive/issues/2124
arnaudbos/datalevin-study
Read-only fork of Datalevin for study locally with lines of code backlinks.
arnaudbos/dhall-packages
Collection of dhall packages
arnaudbos/hugo-sustain
🐹 Personal blog theme built with Bootstrap, powered by Hugo.
arnaudbos/llamabot
arnaudbos/mulog
μ/log is a micro-logging library that logs events and data, not words!
arnaudbos/onyx-amazon-s3
Amazon S3 plugin for Onyx
arnaudbos/onyx-template
Onyx Leiningen application template
arnaudbos/quasar
Fibers, Channels and Actors for the JVM
arnaudbos/quasar-vavr-reprocase
arnaudbos/ratatouille
Clojure training day - Anyone can code, but only the fearless can be great.
arnaudbos/ring
Clojure HTTP server abstraction
arnaudbos/side-effects
Homepage for my projects
arnaudbos/space-unhealthy-repro
arnaudbos/talks
Parole, parole.
arnaudbos/vitae
My CV