Dice Language Support for VS Code
☆10Sep 29, 2020Updated 5 years ago
Alternatives and similar repositories for dice-vs-code
Users that are interested in dice-vs-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Performant and safe knowledge compilation in rust☆31Nov 16, 2025Updated 4 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆87Mar 15, 2025Updated last year
- Entry to model counting competition 2021.☆25Jun 25, 2024Updated last year
- a look into matt wang's intriguing monetary ventures☆10Aug 31, 2021Updated 4 years ago
- Logistic Circuits☆36Jul 10, 2019Updated 6 years ago
- 🌱a website showcasing how awesome Teach LA is!☆18Mar 11, 2026Updated 2 weeks ago
- Logic Circuits from the Juice library☆50Jun 15, 2024Updated last year
- The PERPL Compiler☆14Oct 17, 2025Updated 5 months ago
- Deductive verification infrastructure for probabilistic programs☆28Updated this week
- ☆32Nov 8, 2025Updated 4 months ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated 2 months ago
- A Deep Neural Network explanation-by-example library for generating meaningful explanations☆17Nov 11, 2020Updated 5 years ago
- notes, code, and videos for a crash-course in front-end web dev - no experience req'd!☆31Jul 13, 2022Updated 3 years ago
- Probabilistic Circuits in Julia☆10Dec 27, 2023Updated 2 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- A challenging aggregation benchmark for long-context models☆41Feb 22, 2026Updated last month
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated last year
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 5 months ago
- A repo based on XiLin Li's PSGD repo that extends some of the experiments.☆14Oct 7, 2024Updated last year
- How Can I Explain This to You? An Empirical Study of Deep Neural Network Explanation Methods☆24Nov 11, 2020Updated 5 years ago
- A type-safe, stack-based functional programming language☆16Feb 19, 2025Updated last year
- SIGPLAN website☆13Mar 16, 2026Updated last week
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- A micro compiler for the FORTH programming language☆13May 28, 2021Updated 4 years ago
- PL conference deadline countdowns☆65Feb 23, 2026Updated last month
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Mar 3, 2026Updated 3 weeks ago
- HTML5 Gamepad API bindings for js_of_ocaml☆17Jan 7, 2018Updated 8 years ago
- Probabilistic Circuits from the Juice library☆107Jun 10, 2024Updated last year
- A simple BDD library for OCaml☆13May 20, 2025Updated 10 months ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Mar 11, 2026Updated last week
- Proposition for modernizing the OCaml API from the official manual☆10Apr 1, 2023Updated 2 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 4 months ago
- A random generator of Lua programs☆12Mar 5, 2026Updated 2 weeks ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago