Probabilistic Programming
☆44Oct 18, 2025Updated 4 months ago
Alternatives and similar repositories for gamble
Users that are interested in gamble are comparing it to the libraries listed below
Sorting:
- IPython/Jupiter kernel for Racket and Gamble.☆10May 1, 2018Updated 7 years ago
- Dr. Bayes☆84Jun 27, 2016Updated 9 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- elPrep: a high-performance tool for preparing sequencing alignment/map files in sequencing pipelines (Lisp version)☆14Feb 22, 2019Updated 7 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆18Oct 20, 2016Updated 9 years ago
- Implementation of local and remote loci for Racket☆12Jan 8, 2021Updated 5 years ago
- Functional interfaces and datatypes for Racket☆43Jul 1, 2021Updated 4 years ago
- ☆19Feb 28, 2021Updated 5 years ago
- Racket bindings for Z3☆20Aug 7, 2012Updated 13 years ago
- A Common Lisp Bayesian Network Inference Engine☆27Apr 15, 2013Updated 12 years ago
- European Lisp Symposium Website Tools☆20Jan 25, 2026Updated last month
- A collection of core libraries for Racket☆85Jul 10, 2025Updated 7 months ago
- The Racket pastebin.☆31Sep 24, 2021Updated 4 years ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 3 months ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Feb 2, 2026Updated 3 weeks ago
- Simple, filesystem-based caching for Racket☆17Jun 28, 2022Updated 3 years ago
- a type level lisp interpreter on Rust's type system☆10Nov 11, 2016Updated 9 years ago
- A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.☆10Feb 14, 2023Updated 3 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- A language for writing command line interfaces in Racket☆15Dec 20, 2021Updated 4 years ago
- Analysis of Racket code base☆14Aug 27, 2020Updated 5 years ago
- A Racket library that lets you control Firefox via the Marionette Protocol.☆79May 29, 2025Updated 9 months ago
- ☆17Jun 10, 2022Updated 3 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- Disassembler for Racket☆79Jun 20, 2025Updated 8 months ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆35Jul 31, 2024Updated last year
- A DSL/LISP dialect written in Haskell☆21Aug 30, 2018Updated 7 years ago
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- ☆12Jul 1, 2025Updated 8 months ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Oct 16, 2024Updated last year
- A column-oriented, dataframe implementation for Racket.☆17Mar 30, 2025Updated 11 months ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Nov 29, 2025Updated 3 months ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Mar 12, 2025Updated 11 months ago
- An LLM-first programming language.☆33Oct 6, 2025Updated 4 months ago
- A model framework for the interpretation of mineral age spectra in stratigraphic context☆16Jan 28, 2026Updated last month
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- JSX in Common Lisp☆15Jan 19, 2016Updated 10 years ago
- Type expanders (i.e. type-level functions) for Typed/Racket☆16Nov 11, 2021Updated 4 years ago