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 Loading

  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 10 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 71 repositories
  • fv Public

    Formal Methods for computational law

    smucclaw/fv’s past year of commit activity
    Alloy 0 1 0 1 Updated Jul 25, 2024
  • dsl Public

    Domain Specific Languages for Computational Law

    smucclaw/dsl’s past year of commit activity
    Haskell 67 9 9 7 Updated Jul 25, 2024
  • dmn Public

    Decision Model & Notation to L4

    smucclaw/dmn’s past year of commit activity
    0 0 0 0 Updated Jul 25, 2024
  • l4-lp Public

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

    smucclaw/l4-lp’s past year of commit activity
    Clojure 1 0 0 0 Updated Jul 24, 2024
  • logical-english-client Public
    smucclaw/logical-english-client’s past year of commit activity
    Clojure 0 0 0 0 Updated Jul 24, 2024
  • lam4 Public

    A functional (and hopefully in the near future, solver-aided) DSL for the law

    smucclaw/lam4’s past year of commit activity
    TypeScript 1 MIT 0 22 0 Updated Jul 23, 2024
  • gsheet Public
    smucclaw/gsheet’s past year of commit activity
    Python 0 Apache-2.0 0 1 1 Updated Jul 22, 2024
  • setup-swi-prolog Public Forked from logtalk-actions/setup-swi-prolog

    Setup SWI-Prolog action

    smucclaw/setup-swi-prolog’s past year of commit activity
    JavaScript 0 Apache-2.0 4 0 0 Updated Jul 22, 2024
  • oldmathlangts Public

    runtime for the circa-2024 meng's mathlang, soon to be deprecated in favour of 2024 Haskell-based (or lam4) mathlang

    smucclaw/oldmathlangts’s past year of commit activity
    JavaScript 0 0 0 0 Updated Jul 18, 2024
  • simala Public

    simala is short for "simplified math lang"; it's yet another possible core language / translation target for L4

    smucclaw/simala’s past year of commit activity
    Haskell 1 0 0 0 Updated Jul 18, 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…