Skip to content

@codexstanford CodeX Stanford

Change the repository type filter

All

    Repositories list

    36 repositories

    • vscode-epilog-pjames27

      Public
      VSCode Extension for Epilog - driven by the experiences of student Epilog developers
      JavaScript
      •
      MIT License
      •1•2•0•0•Updated Mar 30, 2025Mar 30, 2025

    • cardinal-care-encoding

      Public
      1•2•2•2•Updated Mar 12, 2025Mar 12, 2025

    • epilog-lexers-parsers

      Public
      TypeScript
      •1•1•0•0•Updated Jan 9, 2025Jan 9, 2025

    • epilog-ts

      Public
      A TypeScript wrapper around the epilog.js interpreter, with additional high-level functionality.
      TypeScript
      •1•1•0•0•Updated Nov 14, 2024Nov 14, 2024

    • cardinal-care-dev

      Public
      Logic program encodings of Stanford Cardinal Care, and interfaces to them
      JavaScript
      •2•1•12•1•Updated Sep 26, 2024Sep 26, 2024

    • nia-d-o-progressive-encoding-experiment

      Public
      JavaScript
      •0•1•0•0•Updated Sep 16, 2024Sep 16, 2024

    • codex-insurance-fullstack

      Public
      TypeScript
      •1•1•14•2•Updated Jun 7, 2024Jun 7, 2024

    • LawScript

      Public
      JavaScript
      •
      MIT License
      •3•19•3•0•Updated Jan 16, 2024Jan 16, 2024

    • playbookAI

      Public
      JavaScript
      •
      MIT License
      •0•2•0•0•Updated Nov 22, 2023Nov 22, 2023

    • containment-testing-ts

      Public
      A TypeScript implemention of containment testing algorithms for use with epilog.js.
      TypeScript
      •0•0•1•0•Updated Nov 8, 2023Nov 8, 2023

    • computer-accessible-law

      Public
      JavaScript
      •
      MIT License
      •3•6•2•1•Updated Sep 25, 2023Sep 25, 2023

    • formation-demo

      Public
      A webpage demonstration of how we might use parameters to form a logic program insurance contract in tandem with a legalese contract.
      JavaScript
      •2•2•0•0•Updated Jul 10, 2023Jul 10, 2023

    • legal-api-templates

      Public
      Python
      •2•1•0•0•Updated May 20, 2023May 20, 2023

    • markdown-of-the-arizona-legislation

      Public
      MIT License
      •0•1•0•0•Updated May 8, 2023May 8, 2023

    • markdown-of-the-alaska-legislation

      Public
      MIT License
      •0•0•0•0•Updated Apr 30, 2023Apr 30, 2023

    • markdown-of-the-alabama-legislation

      Public
      MIT License
      •0•0•0•0•Updated Apr 26, 2023Apr 26, 2023

    • markdown-of-the-california-legislation

      Public
      MIT License
      •0•0•0•0•Updated Apr 24, 2023Apr 24, 2023

    • markdown-chunk-of-the-usa-code-of-federal-regulation

      Public
      MIT License
      •0•2•0•0•Updated Apr 21, 2023Apr 21, 2023

    • markdown-chunk-of-the-usa-code

      Public
      MIT License
      •0•1•0•0•Updated Apr 20, 2023Apr 20, 2023

    • markdown-of-the-usa-code

      Public
      MIT License
      •0•3•0•0•Updated Apr 20, 2023Apr 20, 2023

    • markdown-of-the-usa-code-of-federal-regulation

      Public
      0•1•0•0•Updated Apr 19, 2023Apr 19, 2023

    • vscode-yscript

      Public
      VS Code extension supporting yscript
      TypeScript
      •1•5•0•0•Updated Jan 15, 2023Jan 15, 2023

    • LIDE

      Public
      Visual logic programming environment
      Clojure
      •1•4•0•0•Updated Jan 12, 2023Jan 12, 2023

    • tree-sitter-yscript

      Public
      Tree-sitter grammar for yscript
      C
      •0•0•0•0•Updated Jan 6, 2023Jan 6, 2023

    • techlist-cloud-functions

      Public
      Serverless Fun for the Whole Family
      TypeScript
      •0•1•0•18•Updated Jan 4, 2023Jan 4, 2023

    • techlist-graphql-service

      Public
      JavaScript
      •0•3•3•25•Updated Jan 4, 2023Jan 4, 2023

    • life-science-interlock

      Public
      Data for the paper "Analysis of Over 2,200 Life Science Companies Reveals a Network of Potentially Illegal Interlocked Boards"
      0•0•0•0•Updated Dec 8, 2022Dec 8, 2022

    • contracts

      Public
      JavaScript
      •1•0•0•0•Updated Dec 8, 2022Dec 8, 2022

    • ipdl-epilog

      Public
      Tools for compiling IPDL to Epilog.
      JavaScript
      •
      Other
      •0•0•0•0•Updated Nov 29, 2022Nov 29, 2022

    • a-repository-of-insurance-contract-definitions

      Public
      A repository of insurance contract definitions
      HTML
      •
      MIT License
      •1•2•0•0•Updated Oct 28, 2022Oct 28, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.