Formalization of DBSP
☆28Aug 22, 2023Updated 2 years ago
Alternatives and similar repositories for database-stream-processing-theory
Users that are interested in database-stream-processing-theory are comparing it to the libraries listed below
Sorting:
- Formal semantics of Rust☆23Apr 9, 2021Updated 4 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- Placeholder for tracking issues on deca website☆14Aug 13, 2020Updated 5 years ago
- Source code repository for the AISTAT 2023 paper Transport Reversible Jump Proposals.☆10Mar 3, 2023Updated 2 years ago
- rddapp: Regression Discontinuity Design Application☆11Sep 2, 2025Updated 5 months ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Feb 18, 2026Updated last week
- SIGPLAN website☆13Feb 23, 2026Updated last week
- Formalizr, Google Chrome extension - "Remembers what you type, in case of a page crash."☆17Jul 4, 2024Updated last year
- ☆38Dec 21, 2021Updated 4 years ago
- Coq library for tactics, basic definitions, sets, maps☆51Feb 13, 2026Updated 2 weeks ago
- Dialouge template☆17Feb 4, 2025Updated last year
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated last month
- Demo of an In-database processing tool for scikit-learn☆13Oct 18, 2022Updated 3 years ago
- A storage backend and demo for malhar-angular-dashboard☆10Dec 7, 2014Updated 11 years ago
- Implementing a packet level software network load balancer☆11Jun 13, 2018Updated 7 years ago
- Because the Access Virus line of synthesizer has now been discontinued, I have uploaded the Access Virus TI2 firmware so everyone can use…☆18May 15, 2024Updated last year
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- tfa is a 2fa cli tool that aims to help you to generate 2fa code on CI/CD pipelines.☆28Oct 26, 2021Updated 4 years ago
- Linux File System Game☆12Oct 7, 2019Updated 6 years ago
- Half queue half pubsub. Super small (< 30 loc) and simple queue that supports subscribers.☆22Dec 15, 2012Updated 13 years ago
- 8 fast digital MEMS microphones input to a Beaglebone☆13Oct 12, 2021Updated 4 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- ☆12Feb 17, 2023Updated 3 years ago
- Enhance your cheap microphone in realtime under Linux☆10Feb 8, 2022Updated 4 years ago
- Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.☆16Jun 17, 2022Updated 3 years ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago
- Proposition for modernizing the OCaml API from the official manual☆10Apr 1, 2023Updated 2 years ago
- site for projects and notes☆10Apr 2, 2024Updated last year
- 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
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- The PartiQL language specification☆14Dec 31, 2025Updated 2 months ago
- FlowMatic: An Immersive Authoring Tool for Creating Interactive Scenes in Virtual Reality☆12Dec 1, 2023Updated 2 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- G'MIC-Qt is a versatile front-end to the image processing framework G'MIC.☆16Updated this week
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆13Aug 17, 2024Updated last year
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago
- ☆12Jun 5, 2023Updated 2 years ago
- mirror of jsish - A javascript interpreter with 0install, sqlite and websocket support☆13Dec 8, 2015Updated 10 years ago