https://github.com/probmods/webppl
Tip revision: 7aa98ff86162a90471b7d2e651d207237a2e29ae authored by Andreas Stuhlmüller on 13 April 2015, 15:23:03 UTC
Merge branch 'dev'
Merge branch 'dev'
Tip revision: 7aa98ff
File | Mode | Size |
---|---|---|
examples | ||
src | ||
tests | ||
.gitignore | -rw-r--r-- | 48 bytes |
.gjslintrc | -rw-r--r-- | 104 bytes |
.travis.yml | -rw-r--r-- | 144 bytes |
CONTRIBUTING.md | -rw-r--r-- | 808 bytes |
Gruntfile.js | -rw-r--r-- | 1.4 KB |
LICENSE.md | -rw-r--r-- | 1.2 KB |
README.md | -rw-r--r-- | 5.4 KB |
package.json | -rw-r--r-- | 1.2 KB |
webppl | -rwxr-xr-x | 4.9 KB |