ekzhang / percivalLinks
π Web-based, reactive Datalog notebooks for data analysis and visualization
β621Updated 2 years ago
Alternatives and similar repositories for percival
Users that are interested in percival are comparing it to the libraries listed below
Sorting:
- A lightweight Datalog engine in Rustβ835Updated 3 years ago
- Datalog compiler embedded in Rust as a procedural macroβ477Updated last year
- Differential dataflow for mere mortalsβ522Updated 3 years ago
- The practical relational programing language for data-oriented applicationsβ209Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.β173Updated last week
- Data interchange with algebraic data types.β628Updated last month
- Synchronizable structs for Rust.β312Updated 10 months ago
- self adjusting computations in rustβ137Updated 3 years ago
- Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.β308Updated 3 months ago
- π¦Ύ Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!β234Updated last week
- A document language for the browserβ707Updated last year
- General-purpose abstractions for incremental computing, in Rustβ356Updated 3 years ago
- Layout is a rust library and a tool that renders Graphviz dot files.β704Updated 3 months ago
- A tree visualization tool written in Rustβ327Updated 2 years ago
- Logic programming in Rustβ479Updated 3 months ago
- A strongly-typed document database that runs on any transactional key-value store.β394Updated 3 years ago
- a tiny tile-based editorβ306Updated 2 weeks ago
- Various experiments in relational programmingβ272Updated 3 years ago
- a tokio-enabled data store for triple dataβ380Updated last year
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.β93Updated 3 years ago
- Enso β a visual and textual functional programming language.β441Updated 3 years ago
- Easy declarative web interfaces.β398Updated 4 months ago
- Use Tree Sitter to parse your own languages in Rustβ663Updated 2 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.β828Updated last year
- π₯€ A text CRDT for real-time collaborative editingβ529Updated last month
- A framework for writing fast and performant SQLite extensions in Rustβ386Updated 3 months ago
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.β288Updated 4 years ago
- β357Updated 5 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their outputβ¦β1,447Updated 2 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,136Updated 5 months ago