arnaudbos Goto Github PK

.dotfiles

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

android-imagedownloader

Automatically exported from code.google.com/p/android-imagedownloader

ansible-onyx

[Inactive] Ansible playbook for Onyx

aoc2020-tla-plus

Advent of Code 2020 in TLA+

arnaudbos.com

Home

arnaudbos.github.io

My corner of the interweb.

beginners-guide

A guide for getting comfortable with Onyx

boring-task-queue

TLA+ specification for yet another PostgreSQL-based Task Queue

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

clj-water-pouring

Solving the water pouring problem at the REPL.

coding-interview-university

A complete computer science study plan to become a software engineer.

communitymodules

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

conch

A flexible library for shelling out in Clojure

continuations

Java Maven port of Matthias Mann's continuations library for Java

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.

de-moivre

A Clojure library to implement Abraham de Moivre's "Inclusion–exclusion principle" applied to probability.

dhall-packages

Collection of dhall packages

ditto

A Leiningen template for my own use

dockerhost

DEPRECATED - A template and playground for my dev environment vagrant box

etcd-java

Alternative etcd3 java client

github-project-landing-page

A Github project landing page theme for Hugo.

grin

hugo-sustain

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

hugo-vitae

🐻 Personal curriculum vitae or resume theme for Hugo

i-rant

My weblog

ibm-etcd-java-deadlock-repro

Repro case for sync deadlock on short timeout

ibm-etcd-java-repro-case

Repro case for DnsNameResolver "already started"