https://github.com/probmods/webppl
Revision 1642316f9281ccb828b6fe42bce6c80d57f441f4 authored by null-a on 15 July 2016, 13:29:08 UTC, committed by null-a on 15 July 2016, 13:29:08 UTC
Tip revision: 1642316f9281ccb828b6fe42bce6c80d57f441f4 authored by null-a on 15 July 2016, 13:29:08 UTC
Merge branch 'dev' into daipp
Merge branch 'dev' into daipp
Tip revision: 1642316
File | Mode | Size |
---|---|---|
docs | ||
examples | ||
scripts | ||
src | ||
tests | ||
.gitignore | -rw-r--r-- | 203 bytes |
.gjslintrc | -rw-r--r-- | 104 bytes |
.travis.yml | -rw-r--r-- | 424 bytes |
CONTRIBUTING.md | -rw-r--r-- | 982 bytes |
Gruntfile.js | -rw-r--r-- | 4.2 KB |
LICENSE.md | -rw-r--r-- | 1.2 KB |
README.md | -rw-r--r-- | 809 bytes |
package.json | -rw-r--r-- | 1.6 KB |
webppl | -rwxr-xr-x | 3.3 KB |
Computing file changes ...