Data interchange with algebraic data types.
☆767Nov 1, 2026Updated this week
Alternatives and similar repositories for typical
Users that are interested in typical are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Manage cross-references in your code.☆242Updated this week
- Use Tree Sitter to parse your own languages in Rust☆727Jun 18, 2025Updated last year
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆3,012Updated this week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,501Jul 7, 2023Updated 3 years ago
- A modern proof language☆3,763Jan 22, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [Chumsky has moved to Codeberg!] Write expressive, high-performance parsers with ease.☆4,533Mar 27, 2026Updated 7 months ago
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,896Updated this week
- Better configuration for less☆3,026Updated this week
- A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!☆4,137Dec 4, 2024Updated last year
- PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement☆10,938Updated this week
- An experiment in hermetic, reproducible build systems☆409Sep 25, 2026Updated last month
- HVM1 (2022): a massively parallel, optimal functional runtime in Rust☆11,353Sep 16, 2026Updated last month
- Systems language with linear types and capability-based security.☆1,602Jul 28, 2025Updated last year
- A model checker for implementing distributed systems.☆1,918Jul 27, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,892Mar 29, 2025Updated last year
- Containerize your development and continuous integration environments. 🥂☆1,635Oct 25, 2026Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,162Mar 23, 2025Updated last year
- Algebraic effects for Rust☆676Jun 30, 2024Updated 2 years ago
- A friendly programming language from the future☆6,773Updated this week
- Creusot helps you prove your Rust code is correct.☆1,952Updated this week
- Koka language compiler and interpreter☆4,114Oct 27, 2026Updated last week
- A highly experimental vi-inspired editor where you edit code, not text.☆770Feb 4, 2025Updated last year
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆637Feb 16, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A static, type inferred and embeddable language written in Rust.☆3,457Updated this week
- A lightweight Datalog engine in Rust☆908Updated this week
- The Flix Programming Language☆2,769Updated this week
- A model checker for Rust programs.☆3,629Updated this week
- An implementation of differential dataflow using timely dataflow on Rust.☆3,025Updated this week
- A tree-sitter based AST difftool to get meaningful semantic diffs☆2,408Updated this week
- A modern Prolog implementation written mostly in Rust.☆2,468Oct 22, 2026Updated last week
- A compiler for Standard ML, somewhat☆205Apr 25, 2022Updated 4 years ago
- ergonomic and precise error handling built atop type-level set arithmetic☆316Apr 22, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Refinement Types for Rust☆934Updated this week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,901Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆3,077May 22, 2026Updated 5 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,826Updated this week
- Maintainable configuration files☆4,492Oct 6, 2026Updated 3 weeks ago
- A safe, easy systems language☆2,367Updated this week
- A snapshot testing library for rust☆2,981Oct 26, 2026Updated last week