Skip to content
View ThomasArts's full-sized avatar

Highlights

  • Pro

Organizations

@Quviq

Block or report ThomasArts

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A mocking library for Erlang

Erlang 834 231 Updated Mar 7, 2026

A rebar plugin to generate or validate sophia smart contracts while building your project

Erlang 1 Updated Jan 11, 2022

Advent of Code - 2019

8 1 Updated Mar 2, 2020

A Gradual type system for Erlang

Erlang 620 37 Updated Mar 24, 2026

æternity blockchain - scalable blockchain for the people - smart contracts, state channels, names, tokens

Erlang 1,083 244 Updated Mar 27, 2026

Domain-Specific Languages of Mathematics

Haskell 444 54 Updated Mar 21, 2026

Timer module for Erlang that makes it easy to abstact time out of the tests.

Erlang 88 30 Updated Aug 21, 2023

JavaErlang is a library that attempts to facilitate the communication between Java and Erlang nodes, implemented as an additional layer on top of the JInterface Java interface.

Erlang 78 19 Updated Mar 3, 2025

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.

Erlang 16 3 Updated Sep 12, 2016