stepchowfun / typical
Data interchange with algebraic data types.
☆598Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for typical
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆812Updated 7 months ago
- Algebraic effects for Rust☆592Updated 4 months ago
- Use Tree Sitter to parse your own languages in Rust☆613Updated 3 weeks ago
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆603Updated last year
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆829Updated this week
- Add hardship to your tests☆790Updated last month
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,196Updated 2 weeks ago
- Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.☆486Updated last year
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,415Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,092Updated last year
- Creusot helps you prove your code is correct in an automated fashion.☆1,148Updated this week
- Systems language with linear types and capability-based security.☆1,123Updated 4 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,567Updated last month
- A small extensible programming language designed for concise expression with little code.☆1,051Updated 2 months ago
- A framework for writing fast and performant SQLite extensions in Rust☆348Updated 3 months ago
- Common Expression Language interpreter written in Rust☆381Updated last week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆613Updated 7 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,134Updated 2 weeks ago
- Better configuration for less☆2,424Updated this week
- Actor runtime and distributed systems framework for Rust☆713Updated 6 months ago
- A Rust procedural language handler for PostgreSQL☆1,123Updated 2 months ago
- Differential dataflow for mere mortals☆516Updated 2 years ago
- Datalog compiler embedded in Rust as a procedural macro☆461Updated 8 months ago
- Rust port of Spice, a low-overhead parallelization library☆567Updated last month
- ☆569Updated 2 weeks ago
- Refinement Types for Rust☆656Updated this week
- The Feldera Incremental Computation Engine☆768Updated this week
- A lightweight Datalog engine in Rust☆801Updated 2 years ago
- Gossip-based service discovery (and more) for large distributed systems.☆720Updated this week
- Use PRQL in PostgreSQL☆429Updated this week