stepchowfun / typicalLinks
Data interchange with algebraic data types.
☆757Updated 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.☆833Updated last year
- Algebraic effects for Rust☆649Updated last year
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆631Updated 2 years ago
- Use Tree Sitter to parse your own languages in Rust☆688Updated 7 months ago
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,821Updated this week
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,351Updated this week
- Add hardship to your tests☆1,114Updated last week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,145Updated last week
- Layout is a rust library and a tool that renders Graphviz dot files.☆723Updated 8 months ago
- Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.☆487Updated 2 years ago
- Datalog compiler embedded in Rust as a procedural macro☆500Updated last month
- Just One Single History☆1,687Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,156Updated 10 months ago
- A highly experimental vi-inspired editor where you edit code, not text.☆771Updated last year
- Refinement Types for Rust☆825Updated this week
- Differential dataflow for mere mortals☆529Updated 3 years ago
- A Rust framework for correct and performant distributed systems☆1,158Updated this week
- Compiler front-end foundation technology.☆478Updated 2 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,473Updated 2 years ago
- Better configuration for less☆2,825Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆672Updated 7 months ago
- Logic programming in Rust☆529Updated 3 months ago
- Shrinkray is a modern multi-format test-case reducer☆295Updated this week
- Systems language with linear types and capability-based security.☆1,449Updated 6 months ago
- Common Expression Language interpreter written in Rust☆578Updated 3 weeks ago
- A reasonable configuration language☆370Updated last month
- A Rust procedural language handler for PostgreSQL☆1,377Updated last year
- A lightweight Datalog engine in Rust☆862Updated last month
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,752Updated this week
- Creusot helps you prove your code is correct in an automated fashion.☆1,470Updated this week