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
Sorting:
- Performant and safe knowledge compilation in rust☆31Nov 16, 2025Updated 3 months ago
- a look into matt wang's intriguing monetary ventures☆10Aug 31, 2021Updated 4 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆87Mar 15, 2025Updated 11 months ago
- ☆32Nov 8, 2025Updated 3 months ago
- Entry to model counting competition 2021.☆24Jun 25, 2024Updated last year
- An upper-division course in UCLA's Asian American Studies Department designed to utilize web technologies and empower communities for soc…☆12Apr 24, 2023Updated 2 years ago
- Logistic Circuits☆36Jul 10, 2019Updated 6 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
- 👋 get to know me through my personal website!☆10Aug 8, 2025Updated 6 months ago
- SIGPLAN website☆13Feb 23, 2026Updated last week
- Sources of the EuroProofNet web site.☆13Updated this week
- Race Condition Running☆11Feb 22, 2026Updated last week
- Deployed version of Tableaunoir. Do not modify this repository.☆11Updated this week
- Automated Tournament Organizer for Smash (ft. Discord, Challonge).☆12Oct 17, 2020Updated 5 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- site for projects and notes☆10Apr 2, 2024Updated last year
- Proposition for modernizing the OCaml API from the official manual☆10Apr 1, 2023Updated 2 years ago
- Probabilistic Circuits in Julia☆10Dec 27, 2023Updated 2 years ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated last month
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- A compiler and bytecode interpreter for a subset of Python☆10Jan 23, 2021Updated 5 years ago
- LL1 by Team , made with☆11Sep 16, 2022Updated 3 years ago
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated last year
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- Slides for a presentation/talk adapted from Tom Preston-Werner's essay "The Git Parable"☆12Aug 26, 2022Updated 3 years ago
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Updated this week
- The PERPL Compiler☆14Oct 17, 2025Updated 4 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 4 months ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Oct 14, 2025Updated 4 months ago
- How to invent reactive JavaScript☆11Jul 24, 2022Updated 3 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago