issues
search
probcomp
/
metaprob
An embedded language for probabilistic programming and meta-programming.
GNU General Public License v3.0
168
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
rename "target trace" to "observation trace"
#112
joshuathayer
opened
5 years ago
0
Error when running Leiningen if Clojure CLI tools are in non-standard location
#111
zane
closed
5 years ago
0
Bump version of lein-tools-deps to account for patch to the PATH bug.
#110
fsaad
closed
5 years ago
0
Support for namespace-qualified symbols
#109
zane
opened
5 years ago
1
Update documentation and tutorial prose to reflect recent changes
#108
joshuathayer
opened
5 years ago
1
Investigate namespace issue
#107
joshuathayer
opened
5 years ago
1
Merge Alex's collected work into master
#106
joshuathayer
closed
5 years ago
0
Break out `(is (and …))` forms into separate `(is …)` forms
#105
zane
opened
5 years ago
0
should we re-add `foreign-procedure?`
#104
joshuathayer
opened
5 years ago
0
Make tests for (upcoming) compound protocol and implementations
#103
joshuathayer
opened
5 years ago
0
Make it clearer that the Clojure command-line tools are required
#102
zane
opened
5 years ago
0
Could not find clojure executable
#101
daslu
closed
5 years ago
6
Revise README based on the contents of Probprog 2018 poster
#100
zane
closed
5 years ago
0
Fix log-categorical
#99
alex-lew
closed
5 years ago
0
[WIP] playing around with base images
#98
avinson
closed
4 years ago
1
Procedure names / trace keys
#97
jar398
opened
5 years ago
1
Implement untraced `recur`
#96
alex-lew
opened
5 years ago
0
ClojureScript compilation of metaprob.sequence and metaprob.sequence-test
#95
zane
closed
5 years ago
1
Support ClojureScript compilation of metaprob.trace and metaprob.trace-test
#94
zane
closed
5 years ago
1
Support ClojureScript compilation of metaprob.state and metaprob.state-test
#93
zane
closed
5 years ago
4
Sum-product algorithm
#92
jar398
opened
5 years ago
1
Static validation that a given piece of clojure code will be suitable as input to the Metaprob interpreter
#91
jar398
closed
5 years ago
2
CRP / Dirichlet process mixture model
#90
jar398
opened
5 years ago
1
Trace address control
#89
jar398
closed
5 years ago
1
trace-set! is defined twice
#88
zane
closed
5 years ago
0
add mem and some tests for it
#87
jar398
closed
3 years ago
5
Immutable traces as subtrace keys
#86
jar398
opened
5 years ago
1
Factor meta-circular interpreter into syntactic processing and semantic processing
#85
jar398
closed
5 years ago
3
The trace for an application should be determined by the callee, not the caller
#84
jar398
opened
5 years ago
0
Move tutorial to project root
#83
zane
closed
5 years ago
3
Fix map handling in free-vars-approximately
#82
zane
closed
5 years ago
1
free-vars-approximately mishandles maps
#81
zane
closed
5 years ago
1
"steady" state implementation should be moved out of the source tree
#80
zane
closed
5 years ago
1
Add support for trace literals
#79
zane
closed
6 years ago
2
Establish philosophy of relation of metaprob to clojure
#78
jar398
opened
6 years ago
0
"steady" state implementation is untested
#77
zane
closed
6 years ago
1
Move state implementations into separate namespaces
#76
zane
closed
5 years ago
7
Add test verifying metaprob.examples.all can be required
#75
zane
closed
5 years ago
1
Make sure (length '{}) works
#74
jar398
closed
5 years ago
4
Fix merge conflict diff that was accidentally merged to master
#73
zane
closed
6 years ago
0
The tutorial README must include installations for using Metaprob without Docker
#72
zane
opened
6 years ago
0
README.md should give instructions on installing clojure
#71
jar398
closed
6 years ago
1
Use special logic for rendering floating-point values in trace diagrams
#70
alex-lew
closed
6 years ago
0
Refactor metaprob.examples.main to use clojure.tools.cli
#69
zane
closed
6 years ago
0
Should we make master a protected branch?
#68
zane
closed
6 years ago
5
What's going on with metaprob.examples.all-test?
#67
zane
closed
5 years ago
4
Use com.cognitect/test-runner
#66
zane
closed
6 years ago
2
Fixes to the tutorial
#65
alex-lew
closed
6 years ago
0
metaprob.tutorial.jupyter cannot be loaded in some contexts
#64
zane
closed
5 years ago
3
Document how to install the Clojure command line tools
#63
zane
closed
6 years ago
0
Previous
Next