-
Notes on how we potentially could build reliable, scalable and maintainable computer systems.
-
-
bits-and-bobs Public
Bit-level codec library
-
-
cabal2nix Public
Forked from NixOS/cabal2nixGenerate Nix build instructions from a Cabal file
Haskell Other UpdatedFeb 17, 2021 -
-
-
coroutine-state-machines Public
State machines with async I/O capabilities
-
-
deterministic-scheduler Public
Parallel property-based testing with a deterministic thread scheduler
-
detsys-testkit Public
A test kit for fast and deterministic system tests.
Haskell MIT License UpdatedOct 28, 2022 -
doctemplates Public
Forked from jgm/doctemplatesPandoc-compatible templating system
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 22, 2023 -
An experiment in controlling the size of a thread pool using a PID controller.
-
elle Public
Forked from jepsen-io/elleBlack-box transactional safety checker based on cycle detection
Isabelle Eclipse Public License 2.0 UpdatedOct 15, 2020 -
haarss Public
A terminal based feed reader written in Haskell.
-
HasCal Public
Forked from Gabriella439/HasCalHaskell embedding of PlusCal
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 2, 2022 -
haskell-z3 Public
Forked from IagoAbal/haskell-z3Haskell bindings to Microsoft's Z3 API (unofficial).
Haskell Other UpdatedFeb 15, 2021 -
-
hot-swapping-state-machines Public
An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.
-
hot-swapping-state-machines2 Public
Experiment with hot swapping pipelined state machines
-
-
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedSep 19, 2017 -
jepsen Public
Forked from jepsen-io/jepsenA framework for distributed systems verification, with fault injection
Clojure UpdatedJul 17, 2020 -
knossos Public
Forked from jepsen-io/knossosVerifies the linearizability of experimentally accessible histories.
Clojure UpdatedFeb 26, 2020 -
ldfi-prolog Public
Lineage-driven fault injection in Prolog
Prolog BSD 2-Clause "Simplified" License UpdatedFeb 2, 2021 -
libfiu Public
Forked from albertito/libfiu[mirror] A C library for fault injection
C Other UpdatedJan 7, 2019 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedFeb 3, 2021 -
-
pipelined-state-machines Public
An experiment in declaratively programming parallel pipelines of state machines.
-
pipelining-with-disruptor Public
Experiment in creating parallel pipelines using the Disruptor.
{{ message }}