Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those computations.
☆45Nov 16, 2016Updated 9 years ago
Alternatives and similar repositories for Uncertainty
Users that are interested in Uncertainty are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The GUM Tree Calculator for Python☆17Oct 28, 2024Updated last year
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆14Feb 13, 2018Updated 8 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆16Dec 1, 2016Updated 9 years ago
- Translate java jar files into Boogie programs☆12Apr 16, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Automata and transducer library for .NET☆83Jul 21, 2020Updated 5 years ago
- Sample application using version 2.0 of the .NET Driver for MongoDB☆10May 13, 2015Updated 10 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Fast time library☆20Jul 1, 2025Updated 10 months ago
- ☆11Jul 8, 2018Updated 7 years ago
- Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)☆11May 25, 2016Updated 9 years ago
- Program Round-off Error Certifier via Static Analysis☆56Dec 8, 2025Updated 5 months ago
- A library that provides a Computation Expression named SandboxBuilder, sandbox { return 42 }, which ensures that values returned from the…☆15Sep 30, 2015Updated 10 years ago
- ☆19Feb 22, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This repository includes an example wasm plugin, for you to use as a reference for developing your own plugins☆17Nov 24, 2025Updated 5 months ago
- ☆10Feb 20, 2020Updated 6 years ago
- Differentiable MPC in Chainer, developed as part of PFN summer internship 2019.☆15Aug 23, 2022Updated 3 years ago
- http://a-terada.github.com/lamp/☆14Jul 14, 2023Updated 2 years ago
- An AmazingRace-inspired version of Doodle Jump I started in 2012, continued in 2020, but never finished.☆12May 4, 2024Updated 2 years ago
- 🤖🎥🇯🇵 ROSConJP 2019 presentation using Dolly and Simslides☆10Sep 25, 2019Updated 6 years ago
- Routes with TypeScript support☆11Sep 15, 2017Updated 8 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- Golang binding for Menoh DNN inference library☆15Nov 1, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- solver for the reachability modulo theories problem☆63Mar 8, 2026Updated 2 months ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Mar 20, 2021Updated 5 years ago
- Generic Golang implementation of a few basic data structures.☆23Jul 3, 2025Updated 10 months ago
- sqlite-backed dictionary conforming to the dbm interface☆26Dec 16, 2012Updated 13 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- 3rd place solution for ALASKA2 Image Steganalysis on Kaggle☆12Mar 3, 2021Updated 5 years ago
- Accepted papers for PLDI 2014☆15May 19, 2016Updated 9 years ago
- A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.☆20Dec 21, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- RISCV Core written in Calyx☆17Aug 16, 2024Updated last year
- half-precision floating-point☆17Mar 2, 2026Updated 2 months ago
- Simple implementation of dynamic movement primitives (DMP) in python☆11Jun 23, 2013Updated 12 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Access a local beets library from mopidy via beets native api☆11Aug 27, 2016Updated 9 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- End to end software to capture new objects using RGBD camera and augment them to get a annotated dataset to train deep nets☆11Jun 23, 2021Updated 4 years ago