Skip to content
Change the repository type filter

All

    Repositories list

    • Contains latest CI-automated benchmarking results for Roulette
      CSS
      0000Updated Sep 19, 2025Sep 19, 2025
    • roulette

      Public
      Racket
      1700Updated Sep 19, 2025Sep 19, 2025
    • repo containing latest CI-automated benchmarking results
      CSS
      0000Updated Sep 15, 2025Sep 15, 2025
    • rsdd

      Public
      Performant and safe knowledge compilation in rust
      Rust
      10311010Updated Jun 7, 2025Jun 7, 2025
    • Racket
      0000Updated May 14, 2025May 14, 2025
    • dappl

      Public
      A language for decision making
      Prolog
      0100Updated Dec 31, 2024Dec 31, 2024
    • rsdd-hs

      Public
      Haskell
      1100Updated Sep 13, 2024Sep 13, 2024
    • OCaml bindings for RSDD (through C interop)
      Rust
      1011Updated Jul 5, 2024Jul 5, 2024
    • Summer 2024 reading group on category theory
      SCSS
      3.8k000Updated Jun 25, 2024Jun 25, 2024
    • TeX
      0001Updated Mar 3, 2024Mar 3, 2024
    • rsdd-docs

      Public
      (wip) user-facing docs for rsdd
      TypeScript
      0025Updated Jan 8, 2024Jan 8, 2024
    • tinycont

      Public
      The tiny continuous probabilistic programming language lab
      OCaml
      0200Updated Oct 29, 2023Oct 29, 2023
    • rsgm

      Public
      A small rust library for manipulating graphical models
      Rust
      2200Updated Oct 25, 2023Oct 25, 2023
    • TeX
      0500Updated Oct 17, 2023Oct 17, 2023
    • disc

      Public
      A Tiny Discrete Probabilistic Programming Language
      OCaml
      1510Updated Oct 15, 2023Oct 15, 2023
    • A work-in-progress benchmark suite for RSDD
      C
      0000Updated Aug 4, 2023Aug 4, 2023
    • rsbn

      Public
      An implementation of Bayesian network inference in Rust.
      Rust
      1201Updated Jul 21, 2023Jul 21, 2023
    • rsdd.js

      Public
      JS bindings for RSDD through WebAssembly
      JavaScript
      0000Updated Jul 14, 2023Jul 14, 2023
    • A reading list for the the ML Meets PL Talk
      0000Updated Jun 9, 2023Jun 9, 2023