https://github.com/probmods/webppl
Tip revision: 35c4c22a6894bd964c91e213612623fcc3f9145f authored by Andreas Stuhlmüller on 13 April 2015, 15:56:03 UTC
Merge branch 'dev'
Merge branch 'dev'
Tip revision: 35c4c22
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 |