stepchowfun / typicalLinks
Data interchange with algebraic data types.
☆626Updated 3 weeks ago
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☆628Updated 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☆660Updated last month
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,131Updated 4 months ago
- Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.☆485Updated last year
- A highly experimental vi-inspired editor where you edit code, not text.☆751Updated 6 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆969Updated this week
- Datalog compiler embedded in Rust as a procedural macro☆477Updated last year
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆650Updated last month
- Layout is a rust library and a tool that renders Graphviz dot files.☆702Updated 2 months ago
- ☆714Updated this week
- Add hardship to your tests☆1,012Updated this week
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,738Updated last week
- Better configuration for less☆2,648Updated this week
- Shrinkray is a modern multi-format test-case reducer☆273Updated 4 months ago
- Differential dataflow for mere mortals☆522Updated 3 years ago
- A lightweight Datalog engine in Rust☆833Updated 3 years ago
- A programming language with static memory management based on λ-calculus☆1,002Updated this week
- Systems language with linear types and capability-based security.☆1,362Updated last week
- ☆569Updated 2 years ago
- Refinement Types for Rust☆755Updated this week
- 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…☆484Updated 2 months ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,309Updated this week
- A small extensible programming language designed for concise expression with little code.☆1,077Updated 10 months ago
- Logic programming in Rust☆475Updated 2 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,285Updated last week
- A high-level distributed programming framework for Rust☆949Updated this week
- A functional, content-addressable programming language.☆440Updated last week
- A Rust implementation of the Starlark language☆832Updated this week