ekzhang / percival
π Web-based, reactive Datalog notebooks for data analysis and visualization
β614Updated 2 years ago
Alternatives and similar repositories for percival:
Users that are interested in percival are comparing it to the libraries listed below
- Datalog compiler embedded in Rust as a procedural macroβ468Updated last year
- Differential dataflow for mere mortalsβ520Updated 2 years ago
- A lightweight Datalog engine in Rustβ813Updated 3 years ago
- Data interchange with algebraic data types.β612Updated last week
- Use Tree Sitter to parse your own languages in Rustβ634Updated last month
- General-purpose abstractions for incremental computing, in Rustβ355Updated 3 years ago
- Layout is a rust library and a tool that renders Graphviz dot files.β682Updated 4 months ago
- A strongly-typed document database that runs on any transactional key-value store.β393Updated 2 years ago
- Various experiments in relational programmingβ272Updated 3 years ago
- A document language for the browserβ705Updated 8 months ago
- Synchronizable structs for Rust.β310Updated 5 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,112Updated this week
- a tiny tile-based editorβ304Updated last week
- Easy declarative web interfaces.β394Updated last week
- The practical relational programing language for data-oriented applicationsβ198Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.β165Updated 3 months ago
- π¦Ύ Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!β216Updated last week
- Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.β299Updated 4 months ago
- a datalog interpreter in typescriptβ209Updated 2 months ago
- A framework for writing fast and performant SQLite extensions in Rustβ378Updated 7 months ago
- A small extensible programming language designed for concise expression with little code.β1,068Updated 6 months ago
- Logic programming in Rustβ457Updated 3 weeks ago
- A high-level distributed programming framework for Rustβ873Updated this week
- Explorations in reactive UI patternsβ368Updated 3 years ago
- self adjusting computations in rustβ135Updated 3 years ago
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.β285Updated 3 years ago
- interval databaseβ290Updated 3 years ago
- a tokio-enabled data store for triple dataβ376Updated last year
- Algebraic effects for Rustβ610Updated 8 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.β820Updated 11 months ago