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 1

  2. arxo-ogpo-public arxo-ogpo-public Public

    Versioned executable OGPO canon releases with reproducible public verification

    HTML 1

  3. arxo-cnaf arxo-cnaf Public

    French family-benefit law as executable canons — Arxo demonstration for Law as Code in Practice (Volume 1)

    Python 1 1

  4. arxo-kazakhstan arxo-kazakhstan Public

    Kazakhstan Constitution on Arxo: executable 2026 models, historical 1995 edition, native CLI examples and inspectable evidence

    HTML 1

  5. 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

  6. arxo-bgb arxo-bgb Public

    Executable German Civil Code (BGB) packages for Arxo

    HTML

Repositories

Showing 10 of 31 repositories
  • arxo-findings Public

    Arxo Findings Register: verified discrepancies in legal texts, official publications and implementations, with evidence and correction histories.

    arxohq/arxo-findings's past year of commit activity
    HTML 0 0 0 0 Updated Nov 2, 2026
  • arxo-pl119-21-amendments Public

    P.L. 119-21 amendments to Title 26 applied instruction by instruction: findings, two notes, and all 588 parsed edits

    arxohq/arxo-pl119-21-amendments's past year of commit activity
    0 Apache-2.0 0 0 0 Updated Nov 2, 2026
  • arxo-lohnsteuer-pap Public

    Lohnsteuer-Programmablaufplan 2026 und Entwurf 2027 im Abgleich mit dem EStG: Befunde, Prüffälle und Schreiben an das BMF

    arxohq/arxo-lohnsteuer-pap's past year of commit activity
    0 CC-BY-4.0 0 0 0 Updated Nov 1, 2026
  • arxo-fr-lf2026-lfss2026 Public

    LF 2026 et LFSS 2026 : les dispositions modificatives exécutées une à une (Arxo Law)

    arxohq/arxo-fr-lf2026-lfss2026's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Oct 26, 2026
  • 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.

    arxohq/arxo-charter-1945's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Oct 26, 2026
  • constructions Public

    Reader materials for Constructions: The Craft of Formalization — pinned executable examples, checks and component licences.

    arxohq/constructions's past year of commit activity
    Python 0 0 0 0 Updated Oct 26, 2026
  • arxo-bgb Public

    Executable German Civil Code (BGB) packages for Arxo

    arxohq/arxo-bgb's past year of commit activity
    HTML 0 Apache-2.0 0 0 0 Updated Oct 26, 2026
  • law-as-code-france-examples Public

    Ten fictional French family-benefit examples: run pinned Arxo models, compare answers and trace their sources. Companion to Law as Code in Practice.

    arxohq/law-as-code-france-examples's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Oct 26, 2026
  • arxo-kazakhstan Public

    Kazakhstan Constitution on Arxo: executable 2026 models, historical 1995 edition, native CLI examples and inspectable evidence

    arxohq/arxo-kazakhstan's past year of commit activity
    HTML 1 Apache-2.0 0 0 0 Updated Oct 26, 2026
  • arxo-openstax-biology Public

    Four source-linked OpenStax Biology 2e models on Arxo: cells, genetics, Hardy-Weinberg and ecology; native questions and measured depth

    arxohq/arxo-openstax-biology's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Oct 26, 2026
View all repositories

People

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