stepchowfun / typicalLinks
Data interchange with algebraic data types.
☆751Updated last month
Alternatives and similar repositories for typical
Users that are interested in typical are comparing it to the libraries listed below
Sorting:
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆830Updated last year
- Algebraic effects for Rust☆638Updated last year
- Use Tree Sitter to parse your own languages in Rust☆674Updated 4 months ago
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆625Updated 2 years ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,065Updated this week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,313Updated last month
- Add hardship to your tests☆1,058Updated this week
- Common Expression Language interpreter written in Rust☆511Updated last week
- Just One Single History☆1,650Updated last week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆661Updated 4 months ago
- Shrinkray is a modern multi-format test-case reducer☆276Updated last month
- A Rust framework for correct and performant distributed systems☆1,053Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,145Updated 7 months ago
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,769Updated last week
- Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.☆487Updated 2 years ago
- A highly experimental vi-inspired editor where you edit code, not text.☆758Updated 8 months ago
- Refinement Types for Rust☆783Updated this week
- Layout is a rust library and a tool that renders Graphviz dot files.☆710Updated 5 months ago
- A grep-like tool which understands source code syntax and allows for manipulation in addition to search☆858Updated 2 weeks ago
- ☆741Updated this week
- Better configuration for less☆2,719Updated this week
- A Rust procedural language handler for PostgreSQL☆1,357Updated last year
- Compiler front-end foundation technology.☆473Updated 2 months ago
- Rust port of Spice, a low-overhead parallelization library☆683Updated 5 months ago
- I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…☆485Updated 5 months ago
- 🥤 A text CRDT for real-time collaborative editing☆532Updated 3 months ago
- Datalog compiler embedded in Rust as a procedural macro☆483Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,688Updated 3 weeks ago
- ☆575Updated 2 years ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,342Updated last week