Refinement type checking and inference tool for Rust
☆20Mar 31, 2026Updated last week
Alternatives and similar repositories for thrust
Users that are interested in thrust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Collection of Automated Reasoners☆35Mar 27, 2026Updated 2 weeks ago
- CN separation logic refinement type system for C☆46Mar 24, 2026Updated 2 weeks ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆74Feb 20, 2026Updated last month
- [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆16Updated this week
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- ☆19Feb 10, 2026Updated 2 months ago
- Topochecker, a topological model checker☆20Nov 19, 2019Updated 6 years ago
- A first-order concurrent automated theorem prover☆24Mar 25, 2026Updated 2 weeks ago
- An automated deductive program verifier based on concurrent separation logic☆29Mar 27, 2026Updated last week
- tools for the book "Concepts of Programming Languages"☆20Jan 1, 2026Updated 3 months ago
- RustHorn: A CHC-based automated verifier for Rust☆90Mar 14, 2025Updated last year
- A Programming Language implemented in JavaScript☆18Feb 11, 2026Updated last month
- An ICE-based predicate synthesizer for Horn clauses.☆53Oct 31, 2025Updated 5 months ago
- Local DNS proxy for DNS over HTTPS (DoH), Oblivious DoH (ODoH) and Multiple-relay-based ODoH extension (Mutualized ODoH; MODoH), which ad…☆38Mar 9, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An implementation of the ROCCA-S encryption scheme.☆20Mar 13, 2026Updated 3 weeks ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 2 years ago
- work in progress, playing around with btor2 in rust☆12Updated this week
- Most influential papers in programming languages☆59Jan 20, 2025Updated last year
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 4 years ago
- A modern Haskell debugger☆31May 1, 2025Updated 11 months ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Sep 4, 2025Updated 7 months ago
- 雙峰祭オンラインシステム バックエンド☆20May 1, 2023Updated 2 years ago
- The Cubicle model checker☆14Jan 12, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated 3 months ago
- ISUCON14 (2024/12/08, 最終スコア 58153, 優勝)☆49Dec 8, 2024Updated last year
- LLM やシェルとインタラクティブに対話するための macOS 用アプリケーション☆49Mar 22, 2025Updated last year
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated last year
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 5 months ago
- @Ryoga-exe への連絡にお使いください☆17Oct 30, 2023Updated 2 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Oct 26, 2025Updated 5 months ago
- ☆17Jul 17, 2023Updated 2 years ago
- UB-free and deterministic rustc fuzzer☆100Dec 21, 2025Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- ☆13Apr 10, 2025Updated last year
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆51Updated this week
- An experimental optimizing compiler for Bril using egglog☆87Mar 31, 2026Updated last week
- Windows Subsytem For BSD☆17Aug 11, 2025Updated 7 months ago
- VSCode pluging that provides LSP support for the Dhall programming language☆18Apr 11, 2023Updated 2 years ago
- ☆18Mar 24, 2021Updated 5 years ago