drbayes

Probabilistic programming language

Build status: failed missing license metadata

README Code
Authors
Documentation
    Tags
    License
      Last updatedTuesday, August 4th, 2020 1:25:16pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaultgit://github.com/ntoronto/drbayese59eb7c7867118bf4c77ca903e133c7530e612a3
      Last checkedFriday, January 27th, 2023 7:16:27pm (UTC)
      Last editedThursday, February 12th, 2015 6:36:46pm (UTC)
      Date addedN/A
      Modules
      • drbayes/tests/set-tests/pair-set-tests.rkt
      • drbayes/tests/random-sets/random-set.rkt
      • drbayes/private/flonum/utils.rkt
      • drbayes/direct/exact-semantics/branch-trace.rkt
      • drbayes/direct/untyped-utils.rkt
      • drbayes/private/bigfloat/symmetric-log.rkt
      • drbayes/tests/set-tests/set-tests.rkt
      • drbayes/tests/flonum-tests/log-random-tests.rkt
      • drbayes/private/arrow/pure-lifts/equal-lifts.rkt
      • drbayes/direct/exact-semantics/preimage-mapping.rkt
      • drbayes/tests/set-tests/set-lattice-properties.rkt
      • drbayes/direct/racket-impl/pre-mapping.rkt
      • drbayes/tests/set-tests/integer-set-tests.rkt
      • drbayes/tests/arrow-tests/real-function-tests.rkt
      • drbayes/tests/language-tests/probabilistic-grammar.rkt
      • drbayes/private/arrow/parameters.rkt
      • drbayes/tests/random-sets/random-integer-set.rkt
      • drbayes/tests/language-tests/probability-bounds-tests/normal-normal-query.rkt
      • drbayes/private/untyped-utils.rkt
      • drbayes/private/set/real-set.rkt
      • drbayes/private/set/parameters.rkt
      • drbayes/private/flonum/directed-rounding.rkt
      • drbayes/private/utils.rkt
      • drbayes/tests/language-tests/need-for-strict-if.rkt
      • drbayes/private/set/symbol-set.rkt
      • drbayes/tests/flonum-tests/symmetric-log-tests.rkt
      • drbayes/private/set/union-more-ops.rkt
      • drbayes/private/set/types.rkt
      • drbayes/private/arrow/refine.rkt
      • drbayes/private/set/bool-set.rkt
      • drbayes/private/set/value.rkt
      • drbayes/private/search.rkt
      • drbayes/tests/set-tests/bool-set-tests.rkt
      • drbayes/private/set/store-index.rkt
      • drbayes/private/arrow/pure-lifts/comparison-lifts.rkt
      • drbayes/tests/test-utils.rkt
      • drbayes/private/set/store-set.rkt
      • drbayes/tests/real-tests/utils.rkt
      • drbayes/tests/set-tests/set-membership-properties.rkt
      • drbayes/private/flonum/flops.rkt
      • drbayes/private/arrow/pure-lifts.rkt
      • drbayes/direct/exact-semantics/set-ops.rkt
      • drbayes/direct/exact-semantics/tests.rkt
      • drbayes/tests/set-tests/symbol-set-tests.rkt
      • drbayes/private/flonum/symmetric-log.rkt
      • drbayes/private/arrow/indexes.rkt
      • drbayes/tests/language-tests/flonum-accuracy/abstract-float.rkt
      • drbayes/tests/set-tests/set-algebra-properties.rkt
      • drbayes/private/set/integer-set.rkt
      • drbayes/private/arrow/pure-lifts/trijection.rkt
      • drbayes/private/arrow/proc-arrow.rkt
      • drbayes/private/flonum/probability.rkt
      • drbayes/direct/exact-semantics/pre-arrow.rkt
      • drbayes/direct/types.rkt
      • drbayes/private/arrow/pure-arrows.rkt
      • drbayes/tests/real-tests/bijection-tests.rkt
      • drbayes/private/set/union-ops.rkt
      • drbayes/direct/exact-semantics/partial-arrows-plus.rkt
      • drbayes/private/search/utils.rkt
      • drbayes/tests/language-tests/normal-normal.rkt
      • drbayes/private/arrow/pure-lifts/tag-lifts.rkt
      • drbayes/private/arrow/pure-lifts/make-real-lift.rkt
      • drbayes/direct/racket-impl/pre-arrow.rkt
      • drbayes/direct/exact-semantics/mapping.rkt
      • drbayes/tests/language-tests/build-it-break-it/build-it-break-it.rkt
      • drbayes/private/search/sample.rkt
      • drbayes/private/language/macros.rkt
      • drbayes/tests/random-sets/random-prob-set.rkt
      • drbayes/private/set.rkt
      • drbayes/direct/racket-impl/set.rkt
      • drbayes/tests/language-tests/flonum-accuracy/geometric-inv-cdf.rkt
      • drbayes/private/set/store.rkt
      • drbayes/tests/language-tests/build-it-break-it/gamma-beta.rkt
      • drbayes/private/arrow.rkt
      • drbayes/tests/random-sets/random-symbol-set.rkt
      • drbayes/private/search/refinement-search.rkt
      • drbayes/private/search/search-tree.rkt
      • drbayes/private/language/functions.rkt
      • drbayes/tests/random-sets/random-null-set.rkt
      • drbayes/tests/random-sets/random-real-set.rkt
      • drbayes/private/search/split.rkt
      • drbayes/tests/set-tests/store-set-tests.rkt
      • drbayes/tests/language-tests/probability-bounds-tests/normal-normal-cond-query.rkt
      • drbayes/tests/set-tests/real-set-tests.rkt
      • drbayes/private/arrow/pure-lifts/bijection.rkt
      • drbayes/direct/exact-semantics/semantic-function.rkt
      • drbayes/tests/language-tests/ray-tracing.rkt
      • drbayes/private/arrow/prob-arrows.rkt
      • drbayes/tests/arrow-tests/arrow-tests.rkt
      • drbayes/tests/set-tests/null-set-tests.rkt
      • drbayes/private/arrow/types.rkt
      • drbayes/private/arrow/pure-lifts/prob-lifts.rkt
      • drbayes/private/set/null-set.rkt
      • drbayes/direct/exact-semantics/bot-arrow.rkt
      • drbayes/private/set/union.rkt
      • drbayes/private/bigfloat/directed-rounding.rkt
      • drbayes/private/bigfloat.rkt
      • drbayes/private/set/bottom.rkt
      • drbayes/private/arrow/pure-lifts/predicate-lifts.rkt
      • drbayes/private/language/drbayes-dispatcher.rkt
      • drbayes/direct/exact-semantics/map-arrow.rkt
      • drbayes/tests/real-tests/trijection-tests.rkt
      • drbayes/tests/language-tests/tests.rkt
      • drbayes/direct/exact-semantics/fun-arrow.rkt
      • drbayes/main.rkt
      • drbayes/private/arrow/pure-lifts/make-predicate-lift.rkt
      • drbayes/private/arrow/cache.rkt
      • drbayes/direct/exact-semantics/partial-arrows.rkt
      • drbayes/direct/scratch/store-split.rkt
      • drbayes/private/set/extremal-set.rkt
      • drbayes/direct/racket-impl/pre-star-arrow.rkt
      • drbayes/tests/set-tests/prob-set-tests.rkt
      • drbayes/private/arrow/preimage-mapping.rkt
      • drbayes/private/arrow/prob-lifts.rkt
      • drbayes/tests/random-sets/random-store-set.rkt
      • drbayes/private/flonum.rkt
      • drbayes/private/search/types.rkt
      • drbayes/private/arrow/pure-lifts/make-prob-lift.rkt
      • drbayes/private/set/prob-set.rkt
      • drbayes/private/arrow/meaning.rkt
      • drbayes/private/arrow/pure-lifts/real-lifts.rkt
      • drbayes/private/set/ordered-set.rkt
      • drbayes/tests/set-tests/set-properties.rkt
      • drbayes/private/language/parameterized-expansion.rkt
      • drbayes/private/arrow/pure-lifts/rounding-lifts.rkt
      • drbayes/private/search/parameters.rkt
      • drbayes/private/search/enumerate.rkt
      • drbayes/private/search/refinement-sample.rkt
      • drbayes/tests/random-sets/random-bool-set.rkt
      • drbayes/private/language.rkt