Pinned Loading

1. simian-flu simian-flu Public

   Distributed Simian Flu Pandemic simulation in Clojure

   Clojure 2

2. stm.io stm.io Public

   Forked from skejserjensen/eclojure

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

   Clojure 1

3. aoc2020-tla-plus aoc2020-tla-plus Public

   Advent of Code 2020 in TLA+

   TLA 6

4. de-moivre de-moivre Public

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

   Clojure

5. i-rant i-rant Public

   My weblog

   Java 1

6. boring-task-queue boring-task-queue Public

   TLA+ specification for yet another PostgreSQL-based Task Queue

   TLA