https://github.com/probmods/webppl
Tip revision: 81ced24c9b6d47cd4a511b4176489910dac12b6d authored by Andreas Stuhlmüller on 13 April 2015, 15:26:09 UTC
Merge branch 'dev'
Merge branch 'dev'
Tip revision: 81ced24
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 |