stepchowfun / typical
Data interchange with algebraic data types.
☆598Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for typical
- Algebraic effects for Rust☆591Updated 4 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆812Updated 7 months ago
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆603Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,091Updated last year
- Use Tree Sitter to parse your own languages in Rust☆611Updated 2 weeks ago
- Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.☆487Updated last year
- Add hardship to your tests☆788Updated last month
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆612Updated 6 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆820Updated this week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,195Updated last week
- Creusot helps you prove your code is correct in an automated fashion.☆1,146Updated this week
- Systems language with linear types and capability-based security.☆1,119Updated 4 months ago
- Datalog compiler embedded in Rust as a procedural macro☆460Updated 8 months ago
- Differential dataflow for mere mortals☆515Updated 2 years ago
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,405Updated this week
- Hydro's low-level dataflow runtime☆478Updated this week
- A grep-like tool which understands source code syntax and allows for manipulation in addition to search☆688Updated this week
- The Feldera Incremental Computation Engine☆720Updated this week
- Logic programming in Rust☆411Updated 2 weeks ago
- A document language for the browser☆702Updated 3 months ago
- ☆565Updated this week
- Refinement Types for Rust☆652Updated this week
- Better configuration for less☆2,409Updated this week
- Layout is a rust library and a tool that renders Graphviz dot files.☆655Updated this week
- A highly experimental vi-inspired editor where you edit code, not text.☆726Updated 9 months ago
- Rust actor framework☆1,499Updated 2 weeks ago
- an efficient awk-like language☆1,257Updated 2 months ago
- A modern supercompiler for call-by-value functional languages☆376Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,564Updated 2 weeks ago
- A model checker for implementing distributed systems.☆1,572Updated last month