https://github.com/probmods/webppl
Tip revision: d5c29b8bc03b7afecd1d977b8a0c0b47cffd61ea authored by Andreas Stuhlmüller on 12 May 2015, 22:53:44 UTC
Merge branch 'dev'
Merge branch 'dev'
Tip revision: d5c29b8
File | Mode | Size |
---|---|---|
docs | ||
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.5 KB |
package.json | -rw-r--r-- | 1.2 KB |
webppl | -rwxr-xr-x | 5.0 KB |