Primary implementation of the Venture probabilistic programming system
☆28Nov 19, 2019Updated 6 years ago
Alternatives and similar repositories for Venturecxx
Users that are interested in Venturecxx are comparing it to the libraries listed below
Sorting:
- The Plaid Programming Language Tools☆12Apr 11, 2015Updated 10 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- A Clojure AST transformation library☆39Feb 2, 2013Updated 13 years ago
- BayesVarSel: R package to calculate Bayes factors, model choice and variable selection in linear models☆11Oct 21, 2025Updated 4 months ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆21Sep 29, 2017Updated 8 years ago
- ☆21Jan 8, 2021Updated 5 years ago
- A naive θ..θ programming language☆27Oct 23, 2018Updated 7 years ago
- Module system for the Gambit-C Scheme system☆41Jun 4, 2019Updated 6 years ago
- Object-relational in-memory database layer based on LMDB☆34Dec 17, 2025Updated 2 months ago
- Auto-parallelizing Pure Functional Language☆27Apr 29, 2019Updated 6 years ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- A formalisation of the Calculus of Constructions☆70Jul 24, 2024Updated last year
- MANOVA.RM☆11Feb 7, 2025Updated last year
- Graph of Clojure classes and tools to produce it.☆51Jan 22, 2024Updated 2 years ago
- Running the code you want to write as fast as the code you have to write☆140Oct 16, 2016Updated 9 years ago
- Wood River Valley Groundwater-Flow Model☆11Apr 7, 2023Updated 2 years ago
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- Data Structure Optimization for Functional Programs☆34Feb 26, 2019Updated 7 years ago
- Web forms for Clojure and ClojureScript - rendering, parsing, and validating☆10Dec 3, 2015Updated 10 years ago
- ☆10Sep 10, 2023Updated 2 years ago
- English Amazigh dictionary using React.js, Data Extraction from a PDF Dictionary using python☆16Sep 25, 2024Updated last year
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated last month
- Python wrapper of a Rust CEL implementation☆29Feb 8, 2026Updated 3 weeks ago
- Etomica is a molecular simulation framework written in Java, developed at the Department of Chemical & Biological Engineering at the Uni…☆16Feb 23, 2026Updated last week
- hmm-filter: Improve classifier predictions for sequential data with Hidden Markov Models (HMMs)☆12Jan 23, 2019Updated 7 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Official AYON<->Kitsu intetgration (WIP)☆12Jan 27, 2026Updated last month
- small wiki engine based on static reST files and git for versionning☆25Oct 26, 2015Updated 10 years ago
- ggplot2 documentation. Auto-generated from ggplot2 sources by pkgdown☆10Oct 27, 2018Updated 7 years ago
- Marimekko and bar mekko graphics in R☆10Jun 7, 2025Updated 8 months ago
- a minimal implementation of incremental computation in Scheme☆37Apr 30, 2017Updated 8 years ago
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…☆24Feb 21, 2026Updated last week
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- An integrated VCS and development environment for Common Lisp☆13Mar 8, 2024Updated last year
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago