stepchowfun / typicalLinks
Data interchange with algebraic data types.
☆753Updated 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☆645Updated last year
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆629Updated 2 years ago
- Use Tree Sitter to parse your own languages in Rust☆684Updated 5 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,150Updated 8 months ago
- Add hardship to your tests☆1,079Updated 3 weeks ago
- Differential dataflow for mere mortals☆526Updated 3 years ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,330Updated last week
- Layout is a rust library and a tool that renders Graphviz dot files.☆718Updated 6 months ago
- Datalog compiler embedded in Rust as a procedural macro☆487Updated last year
- Shrinkray is a modern multi-format test-case reducer☆282Updated 2 months ago
- Compiler front-end foundation technology.☆476Updated 2 weeks ago
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,795Updated last week
- Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.☆487Updated 2 years ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,090Updated this week
- Logic programming in Rust☆521Updated last month
- 🥤 A text CRDT for real-time collaborative editing☆546Updated 4 months ago
- A lightweight Datalog engine in Rust☆845Updated 3 years ago
- A highly experimental vi-inspired editor where you edit code, not text.☆766Updated 10 months ago
- A Rust framework for correct and performant distributed systems☆1,076Updated this week
- A Rust procedural language handler for PostgreSQL☆1,371Updated last year
- ☆578Updated 2 years ago
- Common Expression Language interpreter written in Rust☆531Updated last 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 6 months ago
- Refinement Types for Rust☆798Updated this week
- Rust port of Spice, a low-overhead parallelization library☆692Updated 7 months ago
- Just One Single History☆1,667Updated last week
- Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real impl…☆420Updated 3 years ago
- Use PRQL in PostgreSQL☆468Updated last week
- A programming language with static memory management based on λ-calculus☆1,006Updated last month