Ben Marx's starred repositories
tlaplus-radix-tree
TLA+ modules, specifications, and models for Radix trees.
tla-transmutation
Elixir code and test generation from TLA+ specifications
theBeamBook
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
safetyvalve
A safety valve for your erlang node
time-tracker
An example Single Page Application in Elm, using elm-mdl for the UI, with a Phoenix backend.
op-1-ableton-live-control-surface
ableton live control surface for teenage engineering OP-1
benchfella
Microbenchmarking tool for Elixir
ja_serializer
JSONAPI.org Serialization in Elixir.
awesome-d3
A list of D3 libraries, plugins and utilities
erlang-history
Hacks to add shell history to Erlang's shell
json_logger
Simple JSON Logger for Elixir apps.
neo4j-erlang
Erlang client library for Neo4J's REST API