Concuerror is a stateless model checking tool for Erlang programs.
-
Updated
Oct 29, 2024 - Erlang
Concuerror is a stateless model checking tool for Erlang programs.
References and summary for leetcode high-frequency algorithm problems
Former frontend part of the health-nlp project (now replaced by health-nlp-react). Angular 2+ project.
simple application that browses github user profiles.
WayFarer is a public bus transportation booking server.
Backend of the lifescope project.
Project that illustrates how to create an R package.
CLI Tool to extract query templates for jq tool from json data
Implementation of the DBGP protocol
An R package to get, clean, and visualize earthquake data from the NOAA.
Angular tutorial: angular-tour-of-heroes
🤖 A Toil example pipeline created with cookiecutter-toil.
Add a description, image, and links to the travis-badge topic page so that developers can more easily learn about it.
To associate your repository with the travis-badge topic, visit your repo's landing page and select "manage topics."