SMU Centre for Computational Law

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

Singapore, Europe, Canada

Pinned Repositories

baby-l4
A miniature version of the l4 language
Language:Grammatical Framework10 11 456
complaw
Main repository for the Research Programme in Computational Law
Language:TeX29 16 312
dmnmd
Decision Model & Notation in Markdown table format
Language:Grammatical Framework21 15 13
docassemble-DADataType
A module to allow attributes of a certain datatype to have default questions in the same way that generic objects allows for objects of a defined type to have generic questions.
Language:Python2 16 103
dsl
Domain Specific Languages for Computational Law
Language:Haskell67 10 199
l4-docassemble
test environment for l4-transpiled docassemble interviews
Language:Dockerfile2 13 50
nlg
Natural Language Generation of legal text from formalisms
Language:Grammatical Framework2 15 02
nlp
Natural Language Processing for Law
1 15 00
r34_sCASP
Language:Prolog5 15 00
sandbox
Learning exercises, random art, and code that will never, ever go into production
Language:Grammatical Framework3 14 273

SMU Centre for Computational Law's Repositories

smucclaw/dsl
Domain Specific Languages for Computational Law
Language:Haskell67 10 199
smucclaw/complaw
Main repository for the Research Programme in Computational Law
Language:TeX29 16 312
smucclaw/baby-l4
A miniature version of the l4 language
Language:Grammatical Framework10 11 456
smucclaw/sandbox
Learning exercises, random art, and code that will never, ever go into production
Language:Grammatical Framework3 14 273
smucclaw/lam4
A functional (and hopefully in the near future, solver-aided) DSL for the law
Language:TypeScript2 2 390
smucclaw/gf-core
Grammatical Framework core: compiler, shell & runtimes
Language:Haskell1 1 0
smucclaw/l4-lp
Fully in-browser IDE and rule engine for L4 (a DSL for business rules), along with various language binding libraries
Language:Clojure1 4 00
smucclaw/l4-rule-engine
Experimental rule engine backend for L4
Language:Clojure1 3 0
smucclaw/lag
Logic-Augmented Generation
Language:TypeScript1 2 0
smucclaw/prolog
A prolog interpreter written in Haskell.
Language:Haskell1 1 00
smucclaw/simala
simala is short for "simplified math lang"; it's yet another possible core language / translation target for L4
Language:Haskell1 4 1
smucclaw/dmn
Decision Model & Notation to L4
Language:Haskell00
smucclaw/documentation
L4 Documentation for all users
Language:Python0 2 00
smucclaw/gsheet
Language:Python0 3 10
smucclaw/vue-pure-pdpa
Vue app in purescript for PDPA use case
Language:PureScript0 3 221
smucclaw/docker-swish
Docker file for SWISH
Language:Shell1 0
smucclaw/example-l4-form-app
A simple example where we use L4 to declaratively populate a JSON Forms web form app (in particular, its structure)
Language:TypeScript3 0
smucclaw/expert_sys_exps
Expert system experiments
3 0
smucclaw/fv
Formal Methods for computational law
Language:Alloy14 01
smucclaw/guan_wasm
Experiments at getting the Guan logic engine running on wasm, via F# and Bolero
Language:F#3 0
smucclaw/ide
Language:TypeScript13 41
smucclaw/internal_docs
Internal documentation for L4 development
3 1
smucclaw/jsonform_test_cclaw
Language:Python3 0
smucclaw/l4-query
Query language for blending L4 and LLM reasoning / using L4 in conjunction with more stochastic approaches
Language:Python3 3
smucclaw/logical-english-client
Language:Clojure3 0
smucclaw/LogicalEnglish
Language:Prolog2 0
smucclaw/oldmathlangts
runtime for the circa-2024 meng's mathlang, soon to be deprecated in favour of 2024 Haskell-based (or lam4) mathlang
Language:JavaScript2 0
smucclaw/pdpa-exps
Experiments modelling the PDPA in Forge
Language:GLSL3 0
smucclaw/setup-swi-prolog
Setup SWI-Prolog action
Language:JavaScript
smucclaw/swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE
Language:Prolog1 0