-
-
testrunner Public
A Maven plugin to make writing custom tools that need to run tests.
-
dt-fixing-tools Public
Tools for automatic debugging/fixing of dependent tests (WIP).
-
-
-
-
-
-
-
-
-
Pecan Public
An automated theorem prover that uses Büchi automata.
-
-
-
-
Psamathe Public
A programming language with flows for writing safer smart contracts.
-
-
-
achelois Public
achelois is a collection of tools to make writing shell scripts in Prolog easier.
-
-
-
solidity-latex-highlighting Public
Forked from s-tikhomirov/solidity-latex-highlightingInclude nice-looking Solidity examples into LaTeX files
-
History-Generator Public
Produces a simulated history of a fake, randomly generated world.
-
-
-
lets-prove-leftpad Public
Forked from hwayne/lets-prove-leftpadProving leftpad correct in a dozen different ways
SystemVerilog Other UpdatedJul 25, 2020 -
-
fuzzy-dates Public
Automatically detect and parse dates in many different formats
-
Enki Public
A beginner-focused logic programming language.
-
PySimpleAutomata Public
Forked from Oneiroe/PySimpleAutomataAcademic Python Library to manage DFA, NFA and AFW automata.
{{ message }}