thomasarts Goto Github PK
Name: Thomas Arts
Type: User
Company: Quviq
Location: Gothenburg
Name: Thomas Arts
Type: User
Company: Quviq
Location: Gothenburg
Documentation of threat model
Files for tutorial testing C programs with QuickCheck
Timer module for Erlang that makes it easy to abstact time out of the tests.
Implementation of the cufp.org website.
Media for cufp.org website. See https://github.com/cufp/cufp.org for info.
Erlang implementation of Conway's Game of Life
Port of Poul-Henning Kamp's ministat to the Erlang world
Erlang implementation of the Noise protocol
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
An Elixir JSON Schema validator
A small example project
Simple example of a QuickCheck property for a Compute@Edge service
GRiSP Erlang Runtime Library
Cuckoo clock with GRiSP board
jesse (JSon Schema Erlang) is an implementation of a json schema validator for Erlang.
EQC tests for maps
Using QuickCheck Mini for Elixir
Erlang/OTP
Parse transform utilities for Erlang
Productive. Reliable. Fast.
A library for stateful property-based testing
A rebar3 plugin to enable the execution of Erlang QuickCheck properties
Calculator to find optimal target n-vals for different ring ring configurations
A safety valve for your erlang node
Sharing code in stardust project
Generates endpoint code from swagger yaml specifications
QuickCheck tests for an Erlang distribution
Course material for QuickCheck for Elixir course
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.