smucclaw Goto Github PK

baby-l4

A miniature version of the l4 language

babyl4-stone-test

candc

A repository containing the original C&C CCG parser sources and newer modifications

ccweb

ciao_playground

A playground for Ciao

clean-as-app

A starter app with Purescript + Halogen + Bulma + Nix + Flake

complaw

Main repository for the Research Programme in Computational Law

dmn

Decision Model & Notation to L4

dmnmd

Decision Model & Notation in Markdown table format

docassemble

A free, open-source expert system for guided interviews and document assembly, based on Python, YAML, and Markdown.

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.

docassemble-datatypes

docassemble-l4

docassemble-scasp

docker-swish

Docker file for SWISH

documentation

L4 Documentation for all users

ds2dal4

dsl

Domain Specific Languages for Computational Law

eu-ai-act

an attempt to extract a git-style log of diffs based on "track changes" PDFs

example-l4-form-app

A simple example where we use L4 to declaratively populate a JSON Forms web form app (in particular, its structure)

expert_sys_exps

Expert system experiments

form-weaver

Utils for web form app stuff

fv

Formal Methods for computational law

gf-core

Grammatical Framework core: compiler, shell & runtimes

gf-python

Utilities to work with GF trees from Python

gf-ud

fork from anka's gf-ud

gfss-2021

Community resources for the GF Summer School 2021

gsheet

guan_wasm

Experiments at getting the Guan logic engine running on wasm, via F# and Bolero

ide