Formal verification support for Kotlin
☆38Oct 28, 2026Updated this week
Alternatives and similar repositories for SnaKt
Users that are interested in SnaKt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repo for PLAN's verified code generation project☆13Aug 2, 2025Updated last year
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- Gherkin DSL for Ginkgo☆11Nov 15, 2023Updated 2 years ago
- A production-ready Ada 2022 library providing functional programming abstractions for type-safe computation.☆15Jun 8, 2026Updated 4 months ago
- WIP: Reflect based mediator for CQRS☆13Oct 21, 2026Updated last week
- 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.
- Utility libraries for Java☆15Updated this week
- An open-source implementation of a RFC 8572 sZTP server for touchlessly bootstrapping network devices.☆14Feb 25, 2025Updated last year
- Agent Tools for Kotlin to make coding agents more efficient with Kotlin & Gradle☆31Jul 14, 2026Updated 3 months ago
- A code generator for writing code generators☆23Sep 24, 2025Updated last year
- Print Kotlin data class instances as constructor statements using KSP, reflection, or a Compiler Plugin☆17Oct 24, 2026Updated last week
- Fuzzer for Kotlin libraries☆127Nov 13, 2025Updated 11 months ago
- HTTP Message Signatures for Java☆14May 21, 2025Updated last year
- Java library for RFC 9421 HTTP Message Signatures☆14Dec 15, 2025Updated 10 months ago
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆37Sep 7, 2026Updated last month
- 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.
- Free LLM token counter: see how GPT-4 and GPT-4o split your prompt into tokens, which lines cost the most, and which wordy phrases to cut…☆11Oct 23, 2026Updated last week
- Differential fuzzer for testing different versions of the Kotlin compiler☆12Aug 7, 2023Updated 3 years ago
- This is a fork of obnc-0.17.2 by Karl Landström, hosted at http://miasap.se/obnc/.☆10Jun 20, 2024Updated 2 years ago
- A JavaScript port of the Vineflower decompiler.☆18Jun 8, 2026Updated 4 months ago
- A lightweight, efficient, and idiomatic library providing Trie data structures for Kotlin Multiplatform☆38Updated this week
- The Eldarica model checker☆111Oct 25, 2026Updated last week
- Experiments with integrating Emacs and Nushell!☆11Sep 15, 2021Updated 5 years ago
- Graphviz for Kotlin Multiplatform☆12Mar 26, 2024Updated 2 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆39Oct 22, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Kotlin Multiplatform Collection of Benchmarks focused on Kotlin/Wasm performance☆23Updated this week
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆45Sep 4, 2013Updated 13 years ago
- Proof Annotation Language: inline Pulse annotations for C☆14Updated this week
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- A client-server based extensible performance testing simulation tool for Thread Pool System.☆88Mar 22, 2025Updated last year
- This package provides a simple way to style keyboard shortcuts in your documentation.☆17Jul 26, 2026Updated 3 months ago
- Validator LIVR - Lightweight validator supporting Language Independent Validation Rules Specification (LIVR)☆25Mar 12, 2020Updated 6 years ago
- A framework for scalable, distributed discovery systems.☆14Jul 8, 2026Updated 3 months ago
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Gradle plugin that generates Java bindings from native library headers using Jextract☆35Oct 26, 2026Updated last week
- An abstract machine using indexed containers and their zippers☆14Dec 29, 2016Updated 9 years ago
- Block-based WYSIWYG prototype for Typst documents — no code required.☆18Sep 29, 2026Updated last month
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- Unusual CSV library for Java☆16Updated this week
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 years ago
- Solver for Constrained Horn Clauses☆52Updated this week