8000 smucclaw repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@smucclaw SMU Centre for Computational Law

Change the repository type filter

All

    Repositories list

    75 repositories

    • gsheet

      Public
      Python
      •
      Apache License 2.0
      •0•1•1•1•Updated Jun 16, 2025Jun 16, 2025

    • l4-ide

      Public
      L4 - rules-as-code - is an open-source programming language for legal contracts and legislation/regulation.
      ruleslegallegislationregulationcontractsl4rules-as-code
      Haskell
      •2•9•87•4•Updated Jun 16, 2025Jun 16, 2025

    • 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•5•0•0•Updated Jun 16, 2025Jun 16, 2025

    • logical-english-client

      Public
      Clojure
      •0•1•0•0•Updated Jun 15, 2025Jun 15, 2025

    • setup-swi-prolog

      Public
      Setup SWI-Prolog action
      JavaScript
      •
      Apache License 2.0
      •4•0•0•0•Updated Jun 15, 2025Jun 15, 2025

    • internal_docs

      Public
      Internal documentation for L4 development
      MIT License
      •0•0•0•2•Updated May 19, 2025May 19, 2025

    • ai-chat

      Public
      A simple AI chat UI to connect to OpenAI v1 compatible API streaming endpoints (E.g. lm-studio). Supports markdown, code and math highlighting and uses local-storage for chat history. Careful: Can make snarky remarks.
      HTML
      •
      MIT License
      •2•1•0•0•Updated Apr 15, 2025Apr 15, 2025

    • vue-pure-pdpa

      Public
      Vue app in purescript for PDPA use case
      TypeScript
      •1•0•0•0•Updated Mar 21, 2025Mar 21, 2025

    • pure-attic

      Public
      PureScript
      •0•0•0•0•Updated Mar 12, 2025Mar 12, 2025

    • dsl

      Public
      Domain Specific Languages for Computational Law
      Haskell
      •9•76•10•2•Updated Feb 11, 2025Feb 11, 2025

    • lam4

      Public
      A functional (and hopefully in the near future, solver-aided) DSL for the law
      Haskell
      •
      MIT License
      •0•2•45•3•Updated Feb 5, 2025Feb 5, 2025

    • 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 Jan 17, 2025Jan 17, 2025

    • dmn

      Public
      Decision Model & Notation to L4
      Haskell
      •0•1•0•0•Updated Jan 13, 2025Jan 13, 2025

    • crlp

      Public archive
      crlp ide
      TypeScript
      •1•1•0•0•Updated Dec 18, 2024Dec 18, 2024

    • sandbox

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

    • LogicalEnglish

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

    • lag

      Public
      Logic-Augmented Generation
      TypeScript
      •
      MIT License
      •1•2•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•12•22•0•Updated Jul 15, 2024Jul 15, 2024

    • complaw

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

    • l4-rule-engine

      Public archive
      Experimental rule engine backend for L4
      Clojure
      •1•2•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
      •133•0•0•0•Updated Apr 30, 2024Apr 30, 2024

    • gf-core

      Public
      Grammatical Framework core: compiler, shell & runtimes
      Haskell
      •
      Other
      •41•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
    0