stepchowfun / typicalLinks
Data interchange with algebraic data types.
☆628Updated last month
Alternatives and similar repositories for typical
Users that are interested in typical are comparing it to the libraries listed below
Sorting:
- Algebraic effects for Rust☆633Updated last year
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆828Updated last year
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆621Updated 2 years ago
- Use Tree Sitter to parse your own languages in Rust☆663Updated 2 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,031Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆651Updated 2 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,138Updated 5 months ago
- Datalog compiler embedded in Rust as a procedural macro☆477Updated last year
- Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.☆485Updated last year
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,300Updated this week
- Add hardship to your tests☆1,026Updated 3 weeks ago
- Shrinkray is a modern multi-format test-case reducer☆274Updated 5 months ago
- Layout is a rust library and a tool that renders Graphviz dot files.☆704Updated 3 months ago
- A highly experimental vi-inspired editor where you edit code, not text.☆752Updated 6 months ago
- Logic programming in Rust☆481Updated 3 months ago
- Refinement Types for Rust☆759Updated this week
- A high-level distributed programming framework for Rust☆984Updated this week
- ☆712Updated last week
- A document language for the browser☆707Updated last year
- A Rust procedural language handler for PostgreSQL☆1,349Updated 11 months ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,316Updated last week
- Compiler front-end foundation technology.☆468Updated 3 weeks ago
- Local-First Cooperation based on Event Sourcing☆275Updated last week
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,743Updated last week
- A new, portable, regular expression language☆1,321Updated 8 months ago
- General-purpose abstractions for incremental computing, in Rust☆357Updated 3 years ago
- A framework for writing fast and performant SQLite extensions in Rust☆387Updated 3 months ago
- Better configuration for less☆2,669Updated this week
- A grep-like tool which understands source code syntax and allows for manipulation in addition to search☆844Updated 2 weeks ago
- A lightweight Datalog engine in Rust☆835Updated 3 years ago