ekzhang / percivalLinks
π Web-based, reactive Datalog notebooks for data analysis and visualization
β617Updated 2 years ago
Alternatives and similar repositories for percival
Users that are interested in percival are comparing it to the libraries listed below
Sorting:
- Datalog compiler embedded in Rust as a procedural macroβ473Updated last year
- A lightweight Datalog engine in Rustβ820Updated 3 years ago
- Differential dataflow for mere mortalsβ522Updated 3 years ago
- An implementation of differential dataflow using timely dataflow on Rust.β168Updated last week
- The practical relational programing language for data-oriented applicationsβ203Updated 2 years ago
- A strongly-typed document database that runs on any transactional key-value store.β393Updated 2 years ago
- General-purpose abstractions for incremental computing, in Rustβ356Updated 3 years ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their outputβ¦β1,409Updated last year
- Use Tree Sitter to parse your own languages in Rustβ648Updated 3 weeks ago
- Synchronizable structs for Rust.β312Updated 7 months ago
- A small extensible programming language designed for concise expression with little code.β1,076Updated 8 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,117Updated 2 months ago
- self adjusting computations in rustβ136Updated 3 years ago
- Logic programming in Rustβ467Updated 3 weeks ago
- a tiny tile-based editorβ304Updated 2 weeks ago
- Data interchange with algebraic data types.β617Updated 2 weeks ago
- a datalog interpreter in typescriptβ210Updated 5 months ago
- Layout is a rust library and a tool that renders Graphviz dot files.β695Updated last week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.β824Updated last year
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β642Updated 3 weeks ago
- Algebraic effects for Rustβ614Updated 11 months ago
- A document language for the browserβ707Updated 10 months ago
- A framework for writing fast and performant SQLite extensions in Rustβ382Updated last month
- Experimental high-performance actor system framework for Rustβ429Updated 2 years ago
- Various experiments in relational programmingβ272Updated 3 years ago
- Explorations in reactive UI patternsβ368Updated 4 years ago
- A reactive query engine built on differential dataflow.β320Updated 5 years ago
- Easy declarative web interfaces.β396Updated last month
- π¦Ύ Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!β221Updated last week
- A primitive computer algebra systemβ581Updated 2 years ago