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 830 228 Updated Oct 12, 2025

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 Apr 23, 2025

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

Erlang 1,088 243 Updated Aug 21, 2025

Domain-Specific Languages of Mathematics

Haskell 445 54 Updated Aug 28, 2025

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