Edmund S. L. Lam (sllam)

sllam

Geek Repo

Company:ChartBoost Inc

Location:San Francisco

Home Page:https://edmund-sllam.com

Github PK Tool:Github PK Tool

Edmund S. L. Lam's repositories

comingle

CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles

Language:HTMLStargazers:32Issues:2Issues:0

unifscala

Unify Like You Pattern Match in Scala!

Language:ScalaLicense:GPL-3.0Stargazers:7Issues:0Issues:0

pysetcomp

Set Comprehension Extension for z3 in Python

Language:PythonStargazers:1Issues:1Issues:0

chrcp

Multiset Rewriting with Comprehensions

Language:PythonStargazers:0Issues:0Issues:0

msr-haskell

Prototype of Multiset Rewriting in Haskell (GHC)

Language:HaskellStargazers:0Issues:0Issues:0

msre

MSRE: Decentralized Multiset Rewriting with Comprehensions for Ensembles

Language:PythonStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0