Skip to content
@arxohq

Arxo

Executable law — norms you can run, test and prove. Calculemus!

Popular repositories Loading

  1. arxo-unidroit-picc arxo-unidroit-picc Public

    UNIDROIT Principles of International Commercial Contracts 2016 as executable Arxo packages: 210 articles, 7 packages, 27 scenarios, texts pinned by content hash.

    Python

  2. arxo-charter-1945 arxo-charter-1945 Public

    The Charter of the United Nations (1945, as amended) as an executable model: every article a rule or a named boundary, worked cases, pinned English text. Not affiliated with the United Nations.

    Python

  3. arxo-bgb arxo-bgb Public

    Executable German Civil Code (BGB) packages for Arxo

    HTML

  4. arxo-vscode arxo-vscode Public

    Arxo Law extension for VS Code and Cursor: syntax, diagnostics and compiler-backed hints for .law files. Published mirror of the extension source.

    JavaScript

  5. arxo-catala-parity arxo-catala-parity Public

    One regulation, formalized twice: Catala 1.2 and Arxo Law on the same 65 reference cases, 240 random cases and 20 mutations — the artifact of 'Law as Function, Law as Data'

    Python

  6. arxo-ogpo-public arxo-ogpo-public Public

    Versioned executable OGPO canon releases with reproducible public verification

    HTML

Repositories

Showing 8 of 8 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…