arnaudbos

aoc2020-tla-plus

Advent of Code 2020 in TLA+

simian-flu

Distributed Simian Flu Pandemic simulation in Clojure

stm.io

[WIP] Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control.

boring-task-queue

TLA+ specification for yet another PostgreSQL-based Task Queue

i-rant

My weblog

level-up

The journey also matters

untangled

Experiments with Project Loom (Early Access Builds)

.dotfiles

Automated Configuration, Preferences and Software Installation for OSX (and Ubuntu, WIP)

arnaudbos.com

Home

arnaudbos.github.io

My corner of the interweb.

build-your-own-radar

A library that generates an interactive radar, inspired by http://thoughtworks.com/radar/

clj-graal-docs

Scripts and tips to get Clojure latest working with GraalVM latest

clj-http-lite

A lite version of clj-http that uses the jre's HttpURLConnection

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

cursive-2124-reprocase

Reproduce https://github.com/cursive-ide/cursive/issues/2124

datalevin-study

Read-only fork of Datalevin for study locally with lines of code backlinks.

dhall-packages

Collection of dhall packages

hugo-sustain

🐹 Personal blog theme built with Bootstrap, powered by Hugo.

llamabot

mulog

μ/log is a micro-logging library that logs events and data, not words!

onyx-amazon-s3

Amazon S3 plugin for Onyx

onyx-template

Onyx Leiningen application template

quasar

Fibers, Channels and Actors for the JVM

quasar-vavr-reprocase

ratatouille

Clojure training day - Anyone can code, but only the fearless can be great.

ring

Clojure HTTP server abstraction

side-effects

Homepage for my projects

space-unhealthy-repro

talks

Parole, parole.

vitae

My CV