Pinned Repositories
aetmodel
Documentation of threat model
chronos
Timer module for Erlang that makes it easy to abstact time out of the tests.
Mini
Using QuickCheck Mini for Elixir
ring_calculator
Calculator to find optimal target n-vals for different ring ring configurations
swagger_endpoints
Generates endpoint code from swagger yaml specifications
test_erlang
QuickCheck tests for an Erlang distribution
tricky-supervisor
Erlang and Elixir supervisors restart strategies
tutorial-bs
Erlang Code Beam tutorial on testing block chain code
Visualizing-EUnit-tests
This project aims to visualize test cases written in Erlang in a graphical finite state machine representation. The aim is to visually evaluate the quality of a test suite.
ThomasArts's Repositories
ThomasArts/Visualizing-EUnit-tests
This project aims to visualize test cases written in Erlang in a graphical finite state machine representation. The aim is to visually evaluate the quality of a test suite.
ThomasArts/tricky-supervisor
Erlang and Elixir supervisors restart strategies
ThomasArts/swagger_endpoints
Generates endpoint code from swagger yaml specifications
ThomasArts/test_erlang
QuickCheck tests for an Erlang distribution
ThomasArts/Mini
Using QuickCheck Mini for Elixir
ThomasArts/aetmodel
Documentation of threat model
ThomasArts/ring_calculator
Calculator to find optimal target n-vals for different ring ring configurations
ThomasArts/tutorial-bs
Erlang Code Beam tutorial on testing block chain code
ThomasArts/aepp-governance
ThomasArts/C_tutorial
Files for tutorial testing C programs with QuickCheck
ThomasArts/eministat
Port of Poul-Henning Kamp's ministat to the Erlang world
ThomasArts/enoise
Erlang implementation of the Noise protocol
ThomasArts/erd
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
ThomasArts/ex_json_schema
An Elixir JSON Schema validator
ThomasArts/fastly-json-roundtrip
Simple example of a QuickCheck property for a Compute@Edge service
ThomasArts/grisp
GRiSP Erlang Runtime Library
ThomasArts/grisp-cuckoo-led
Cuckoo clock with GRiSP board
ThomasArts/jesse
jesse (JSon Schema Erlang) is an implementation of a json schema validator for Erlang.
ThomasArts/maps_eqc
EQC tests for maps
ThomasArts/parse_trans
Parse transform utilities for Erlang
ThomasArts/phoenix
Productive. Reliable. Fast.
ThomasArts/quickcheck-dynamic
A library for stateful property-based testing
ThomasArts/rebar3-eqc-plugin
A rebar3 plugin to enable the execution of Erlang QuickCheck properties
ThomasArts/rebar3_ex_doc
rebar3 plugin for generating docs with ex_doc
ThomasArts/SecurityTraceExtraction
ThomasArts/stardust
Sharing code in stardust project
ThomasArts/TicketAgent
Course material for QuickCheck for Elixir course
ThomasArts/tickets
Simple Ticket Dispenser as phoenix server
ThomasArts/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
ThomasArts/xml
Fast Expat based Erlang XML parsing library