Giters
Carmen Chui (carmenchui)

carmenchui

Geek Repo

1

followers

1

following

133

stars

Github PK Tool:Github PK Tool

Carmen Chui's repositories

idef3vssx

idef3 visio stencil

Stargazers:4Issues:2Issues:0

clif_clm

CLIF Codeless Language Module

Stargazers:1Issues:3Issues:0

autoupdate

Autoupdate files for Protege Desktop

Stargazers:0Issues:2Issues:0

carmenchui.github.io

Language:SCSSLicense:CC0-1.0Stargazers:0Issues:2Issues:0

equinox

Paradox model finder and equinox theorem prover for first-order logic.

Language:HaskellStargazers:0Issues:2Issues:0

macleod_py2

backup of @thahmann's macleod (python2 version) from april 2016 commit

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

sempre

Semantic Parser with Execution

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

stl_php

Language:JavaScriptStargazers:0Issues:2Issues:0