Skip to content

@smucclaw SMU Centre for Computational Law

Change the repository type filter

All

    Repositories list

    72 repositories

    • lam4

      Public
      A functional (and hopefully in the near future, solver-aided) DSL for the law
      Haskell
      •
      MIT License
      •0•1•45•3•Updated Nov 20, 2024Nov 20, 2024

    • l4-lp

      Public
      Fully in-browser IDE and rule engine for L4 (a DSL for business rules), along with various language binding libraries
      pythonclojureclojurescriptdslprologwasmswi-prologterm-rewriting
      Clojure
      •1•3•0•0•Updated Nov 19, 2024Nov 19, 2024

    • gsheet

      Public
      Python
      •
      Apache License 2.0
      •0•0•1•1•Updated Nov 18, 2024Nov 18, 2024

    • vue-pure-pdpa

      Public
      Vue app in purescript for PDPA use case
      PureScript
      •1•0•0•0•Updated Nov 18, 2024Nov 18, 2024

    • internal_docs

      Public
      Internal documentation for L4 development
      MIT License
      •0•0•0•1•Updated Nov 13, 2024Nov 13, 2024

    • logical-english-client

      Public
      Clojure
      •0•0•0•0•Updated Nov 6, 2024Nov 6, 2024

    • simala

      Public
      simala is short for "simplified math lang"; it's yet another possible core language / translation target for L4
      Haskell
      •0•2•1•0•Updated Nov 6, 2024Nov 6, 2024

    • sandbox

      Public
      Learning exercises, random art, and code that will never, ever go into production
      Grammatical Framework
      •3•4•14•0•Updated Nov 5, 2024Nov 5, 2024

    • setup-swi-prolog

      Public
      Setup SWI-Prolog action
      JavaScript
      •
      Apache License 2.0
      •4•0•0•0•Updated Nov 3, 2024Nov 3, 2024

    • crlp

      Public
      crlp ide
      TypeScript
      •0•1•0•0•Updated Oct 29, 2024Oct 29, 2024

    • dsl

      Public
      Domain Specific Languages for Computational Law
      Haskell
      •9•69•10•2•Updated Oct 16, 2024Oct 16, 2024

    • dmn

      Public
      Decision Model & Notation to L4
      Haskell
      •0•0•0•0•Updated Sep 19, 2024Sep 19, 2024

    • LogicalEnglish

      Public
      Prolog
      •
      Apache License 2.0
      •6•0•0•0•Updated Jul 31, 2024Jul 31, 2024

    • lag

      Public
      Logic-Augmented Generation
      TypeScript
      •
      MIT License
      •0•1•0•1•Updated Jul 29, 2024Jul 29, 2024

    • fv

      Public
      Formal Methods for computational law
      Alloy
      •1•0•0•1•Updated Jul 25, 2024Jul 25, 2024

    • oldmathlangts

      Public
      runtime for the circa-2024 meng's mathlang, soon to be deprecated in favour of 2024 Haskell-based (or lam4) mathlang
      JavaScript
      •0•0•0•0•Updated Jul 18, 2024Jul 18, 2024

    • baby-l4

      Public
      A miniature version of the l4 language
      Grammatical Framework
      •
      BSD 3-Clause "New" or "Revised" License
      •6•10•22•0•Updated Jul 15, 2024Jul 15, 2024

    • complaw

      Public
      Main repository for the Research Programme in Computational Law
      TeX
      •
      Other
      •12•32•1•1•Updated Jul 10, 2024Jul 10, 2024

    • l4-rule-engine

      Public archive
      Experimental rule engine backend for L4
      Clojure
      •0•1•0•0•Updated Jul 9, 2024Jul 9, 2024

    • documentation

      Public
      L4 Documentation for all users
      Python
      •0•0•0•1•Updated Jul 8, 2024Jul 8, 2024

    • ide

      Public
      TypeScript
      •
      Other
      •1•0•2•1•Updated Jun 16, 2024Jun 16, 2024

    • l4-query

      Public
      Query language for blending L4 and LLM reasoning / using L4 in conjunction with more stochastic approaches
      Python
      •
      MIT License
      •0•1•3•0•Updated Jun 14, 2024Jun 14, 2024

    • docker-swish

      Public
      Docker file for SWISH
      Shell
      •
      BSD 2-Clause "Simplified" License
      •9•0•0•0•Updated May 27, 2024May 27, 2024

    • pdpa-exps

      Public
      Experiments modelling the PDPA in Forge
      GLSL
      •0•0•0•0•Updated May 17, 2024May 17, 2024

    • swish

      Public
      SWI-Prolog for SHaring: a SWI-Prolog web IDE
      Prolog
      •
      Other
      •129•0•0•0•Updated Apr 30, 2024Apr 30, 2024

    • gf-core

      Public
      Grammatical Framework core: compiler, shell & runtimes
      Haskell
      •
      Other
      •35•1•0•0•Updated Apr 30, 2024Apr 30, 2024

    • guan_wasm

      Public archive
      Experiments at getting the Guan logic engine running on wasm, via F# and Bolero
      F#
      •0•0•0•0•Updated Feb 20, 2024Feb 20, 2024

    • expert_sys_exps

      Public
      Expert system experiments
      MIT License
      •0•0•0•0•Updated Jan 17, 2024Jan 17, 2024

    • jsonform_test_cclaw

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 16, 2024Jan 16, 2024

    • prolog

      Public
      A prolog interpreter written in Haskell.
      Haskell
      •15•1•0•0•Updated Dec 18, 2023Dec 18, 2023