☆10Dec 17, 2022Updated 3 years ago
Alternatives and similar repositories for probability-monads
Users that are interested in probability-monads are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🔍 Code Search Tools & Experiments☆13Sep 28, 2026Updated 2 weeks ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- The artifact of the paper "Recursive Subtyping for All"☆10Apr 29, 2024Updated 2 years ago
- library with a semiring class and some useful semirings☆11Nov 23, 2019Updated 6 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- ☆11Oct 20, 2017Updated 8 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 4 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- systemd socket activation library for Haskell☆16Apr 7, 2020Updated 6 years ago
- playing with hyperfunctions☆17May 2, 2021Updated 5 years ago
- Stan Jupyter Magic☆11Oct 6, 2018Updated 8 years ago
- gallina frontend for CompCert☆19Jul 6, 2019Updated 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.
- Quickly add JSON (de)serialization to your python objects☆18Oct 10, 2018Updated 8 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 9 years ago
- sketches for egg: a flexible, high-performance e-graph library☆33Sep 25, 2025Updated last year
- Have you ever wondered what would happen if XMonad wore clown shoes?☆15Sep 19, 2026Updated last month
- A monadic library for symbolic evaluation☆77Jul 16, 2025Updated last year
- ☆17Jun 17, 2017Updated 9 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Discussion Seminar: Philosophy of Programming Lanugages☆15Jul 20, 2014Updated 12 years ago
- OJ Insight is a local-first competitive programming training workspace for multi-OJ analytics, ICPC/CCPC tracking, problem sets, virtual …☆89Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A bare-bones LCF-style proof assistant☆26Aug 13, 2019Updated 7 years ago
- Arthur's Formal Metatheory in Coq☆23Feb 6, 2026Updated 8 months ago
- A vibrantly dark dark colour scheme for Vim and other terminal applications☆22Aug 23, 2017Updated 9 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Seven Languages in Seven Weeks book.☆16Jun 28, 2022Updated 4 years ago
- ☆14Oct 30, 2024Updated last year
- A Haskell library for mathematical graph parsing and writing.☆20Oct 19, 2020Updated 5 years ago
- What I wish I knew when learning HoTT☆53Feb 24, 2019Updated 7 years ago
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 7 months ago
- Implementation of a Tensorflow XLA rematerialization pass☆16Dec 20, 2019Updated 6 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.
- ☆21Oct 5, 2026Updated last week
- A MoonBit framework for building native desktop applications with a web frontend☆33Updated this week
- Haskell implementation of the KDL Document Language☆29Dec 15, 2025Updated 10 months ago
- Haskell Cheat Sheets☆23Mar 5, 2014Updated 12 years ago
- being the scrapings of my stackoverflow answers☆48Oct 23, 2019Updated 6 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 9 months ago
- C++17 implementation of einops for libtorch - clear and reliable tensor manipulations with einstein-like notation☆12Oct 16, 2023Updated 3 years ago