stepchowfun / typicalLinks
Data interchange with algebraic data types.
β621Updated last month
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β618Updated 11 months ago
- π Web-based, reactive Datalog notebooks for data analysis and visualizationβ618Updated 2 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.β824Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,122Updated 3 months ago
- Use Tree Sitter to parse your own languages in Rustβ650Updated last week
- Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.β485Updated last year
- A small extensible programming language designed for concise expression with little code.β1,075Updated 9 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nβ¦β1,276Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β646Updated last week
- A highly experimental vi-inspired editor where you edit code, not text.β748Updated 4 months ago
- Refinement Types for Rustβ741Updated this week
- A programming language with static memory management based on Ξ»-calculusβ1,005Updated this week
- A lunatic web frameworkβ917Updated last year
- A grep-like tool which understands source code syntax and allows for manipulation in addition to searchβ826Updated last week
- A Rust procedural language handler for PostgreSQLβ1,340Updated 9 months ago
- Better configuration for lessβ2,624Updated this week
- Synchronizable structs for Rust.β311Updated 8 months ago
- A fast functional language based on two level type theoryβ391Updated 2 years ago
- Creusot helps you prove your code is correct in an automated fashion.β1,285Updated this week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)β945Updated this week
- A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.β1,634Updated 2 years ago
- an efficient awk-like languageβ1,269Updated 10 months ago
- Datalog compiler embedded in Rust as a procedural macroβ474Updated last year
- Add hardship to your testsβ993Updated last month
- Differential dataflow for mere mortalsβ522Updated 3 years ago
- A framework for writing fast and performant SQLite extensions in Rustβ383Updated last month
- Tagref helps you manage cross-references in your code.β206Updated last month
- Logic programming in Rustβ470Updated last month
- Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real implβ¦β411Updated 3 years ago
- Systems language with linear types and capability-based security.β1,345Updated last month