Skip to content
@smucclaw

SMU Centre for Computational Law

feat. a DSL with IDE and FV support that transpiles to English and to code

Popular repositories

  1. dsl dsl Public

    Domain Specific Languages for Computational Law

    Haskell 67 9

  2. complaw complaw Public

    Main repository for the Research Programme in Computational Law

    TeX 29 12

  3. dmnmd dmnmd Public

    Decision Model & Notation in Markdown table format

    Grammatical Framework 21 3

  4. baby-l4 baby-l4 Public

    A miniature version of the l4 language

    Grammatical Framework 9 6

  5. r34_sCASP r34_sCASP Public

    Prolog 4

  6. sandbox sandbox Public

    Learning exercises, random art, and code that will never, ever go into production

    Grammatical Framework 3 3

Repositories

Showing 10 of 77 repositories
  • l4-lp Public

    Fully in-browser IDE and rule engine for L4 (a DSL for the law), along with various language binding libraries

    Clojure 1 0 0 0 Updated Jun 13, 2024
  • logical-english-client Public
    Clojure 0 0 0 0 Updated Jun 13, 2024
  • mini-l4 Public

    A simpler, textual-format L4

    TypeScript 0 MIT 0 0 0 Updated Jun 12, 2024
  • dsl Public

    Domain Specific Languages for Computational Law

    Haskell 67 9 8 5 Updated Jun 12, 2024
  • lag Public

    Logic-Augmented Generation

    TypeScript 0 MIT 0 0 0 Updated Jun 12, 2024
  • internal_docs Public

    Internal documentation for L4 development

    0 MIT 0 0 0 Updated Jun 12, 2024
  • documentation Public

    L4 Documentation for all users

    Python 0 0 0 1 Updated Jun 11, 2024
  • gsheet Public
    Python 0 Apache-2.0 0 1 0 Updated Jun 11, 2024
  • l4-rule-engine Public

    Experimental rule engine backend for L4

    Clojure 0 0 0 0 Updated Jun 10, 2024
  • l4-query Public

    Query language for blending L4 and LLM reasoning / using L4 in conjunction with more stochastic approaches

    Python 0 MIT 0 3 0 Updated Jun 9, 2024
View all 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…