ekzhang / percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
☆603Updated last year
Related projects ⓘ
Alternatives and complementary repositories for percival
- A lightweight Datalog engine in Rust☆801Updated 2 years ago
- Datalog compiler embedded in Rust as a procedural macro☆461Updated 8 months ago
- Layout is a rust library and a tool that renders Graphviz dot files.☆655Updated 2 weeks ago
- Use Tree Sitter to parse your own languages in Rust☆613Updated 3 weeks ago
- Data interchange with algebraic data types.☆598Updated 2 months ago
- Differential dataflow for mere mortals☆516Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆162Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,092Updated last year
- The practical relational programing language for data-oriented applications☆191Updated last year
- A strongly-typed document database that runs on any transactional key-value store.☆391Updated 2 years ago
- Logic programming in Rust☆413Updated last week
- A small extensible programming language designed for concise expression with little code.☆1,051Updated 2 months ago
- General-purpose abstractions for incremental computing, in Rust☆346Updated 2 years ago
- Synchronizable structs for Rust.☆305Updated last month
- A document language for the browser☆703Updated 4 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆812Updated 7 months ago
- A framework for writing fast and performant SQLite extensions in Rust☆348Updated 3 months ago
- Tokay is a programming language designed for ad-hoc parsing, inspired by awk.☆239Updated last week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆613Updated 7 months ago
- Easy declarative web interfaces.☆392Updated this week
- Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.☆286Updated this week
- Monorepo for the Hydro Project☆481Updated this week
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.☆285Updated 3 years ago
- a datalog interpreter in typescript☆208Updated last month
- A tree visualization tool written in Rust☆302Updated last year
- I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…☆444Updated 7 months ago
- a tiny tile-based editor☆284Updated this week
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆259Updated last year
- a tokio-enabled data store for triple data☆365Updated 8 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,134Updated 2 weeks ago