tchajed / database-stream-processing-theory
Formalization of DBSP
☆17Updated last year
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
- An experimental language server for SomewhatML☆24Updated 2 years ago
- The Pulse separation logic DSL for F*☆14Updated this week
- A toy dependent typed language.☆28Updated this week
- A simple induction and BMC engine.☆23Updated 2 years ago
- Session Type EDSL for Rust☆102Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 3 months ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Datalog + Egg = Good☆66Updated last year
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated this week
- A dependently typed programming language, and verification tool☆26Updated 8 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Calculus of Constructions Implementation☆15Updated 5 years ago
- A functional scripting language.☆18Updated 2 months ago
- Datalog with equality for rust☆68Updated 5 months ago
- ☆11Updated 3 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- 🪆 A Staged Type Theory☆35Updated last year
- ☆37Updated 3 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 10 months ago
- Two-Level Type Theory☆28Updated 5 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆42Updated last month
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆97Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Liquid Types implementation for Rust☆28Updated 2 years ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆11Updated last week
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- a self-hosting lambda calculus compiler☆35Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago