Explore projects
-
Updated
-
Updated
-
-
-
pmaksimo / test262
BSD 3-Clause "New" or "Revised" LicenseOfficial ECMAScript Conformance Test Suite
Updated -
-
UnID or Unified Identification is a smart way of storing and sharing just the data you need to use, through your phone, a special card or a web server. It should provide convenience and security through the use of blockchains.
Updated -
-
A Python-based Flask template to get you started!
Updated -
Pull arc examples and convert them to first order logic, prolog syntax
Updated -
-
Davide Cavezza / FormaliSE20repo
GNU General Public License v3.0 or laterUpdated -
Updated
-
-
-
Updated
-
The processed artefact (website) for the PhD website group project.
Updated -