Pinned Repositories
autoupdate
Autoupdate files for Protege Desktop
carmenchui.github.io
clif_clm
CLIF Codeless Language Module
equinox
Paradox model finder and equinox theorem prover for first-order logic.
idef3vssx
idef3 visio stencil
macleod_py2
backup of @thahmann's macleod (python2 version) from april 2016 commit
sempre
Semantic Parser with Execution
stl_php
colore
Automatically exported from code.google.com/p/colore
macleod
Ontology development environment for Common Logic (CL)
carmenchui's Repositories
carmenchui/idef3vssx
idef3 visio stencil
carmenchui/clif_clm
CLIF Codeless Language Module
carmenchui/autoupdate
Autoupdate files for Protege Desktop
carmenchui/carmenchui.github.io
carmenchui/equinox
Paradox model finder and equinox theorem prover for first-order logic.
carmenchui/macleod_py2
backup of @thahmann's macleod (python2 version) from april 2016 commit
carmenchui/sempre
Semantic Parser with Execution
carmenchui/stl_php