Kani VSCode Extension
☆23Oct 28, 2026Updated this week
Alternatives and similar repositories for kani-vscode-extension
Users that are interested in kani-vscode-extension are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean models of Rust libraries☆39Sep 4, 2024Updated 2 years ago
- DialSort implementation in Cpp☆82Jun 15, 2026Updated 4 months ago
- Fast new algorithms for finding the medians, implemented in Rust☆15Oct 4, 2026Updated 3 weeks ago
- Mostly complete pure rust implementation of parsing llvm instrumentation profile data☆24Oct 7, 2026Updated 3 weeks ago
- C for Metal (CM) is a general GPU programming language that allows users to achieve close-to-assembly performance on Intel Processor Grap…☆16May 3, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Automatic detection of flaws in iOS sandbox profiles☆14Jun 13, 2022Updated 4 years ago
- Fetches shared cache symbols for your device☆15Jun 19, 2026Updated 4 months ago
- ParaView template project for orbital data visualization (orbits, trajectory points, ground station field of view)☆11Oct 28, 2022Updated 4 years ago
- EACL Code☆15Mar 10, 2026Updated 7 months ago
- rustic user documentation☆18Aug 15, 2026Updated 2 months ago
- Multiple serialization/deserialization implementations for the same type.☆14Feb 22, 2025Updated last year
- Embedded Swift for PS1☆10Jul 6, 2026Updated 3 months ago
- rust rcu cell library☆45Oct 20, 2026Updated last week
- A custom LSM-tree based storage engine built in Java featuring WAL durability, Memtables, SSTables, Bloom Filters, sparse indexing, and b…☆20Aug 31, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A multistart framework for global optimization with scatter search and local NLP solvers written in Rust☆32Oct 19, 2026Updated 2 weeks ago
- property testing and verification front-end for Rust☆265Oct 3, 2026Updated last month
- Definitions for GNSS in Rust☆11Oct 13, 2026Updated 2 weeks ago
- Configurable ODE/PDE solver☆67May 20, 2023Updated 3 years ago
- Statistics, Information Measures, Linear Algebra, Cholesky Matrix Decomposition, Mahalanobis Distance, Householder QR Decomposition, Clif…☆57Aug 22, 2026Updated 2 months ago
- A newtype with alignment of at least `A` bytes☆36Oct 8, 2026Updated 3 weeks ago
- Rust library for conversion to/from proquints☆13Feb 9, 2018Updated 8 years ago
- Rust interface to nlopt☆12Oct 2, 2020Updated 6 years ago
- ☆15Dec 4, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Peer-to-Peer Search Engine System☆13May 31, 2024Updated 2 years ago
- GEMMs with metal☆26Oct 17, 2026Updated 2 weeks ago
- A high-performance sharded TCP server starter-kit demonstrating CPU-pinned executors and live TCP connection migration between shards usi…☆15Jul 4, 2026Updated 3 months ago
- Effortless, powerful, and scalable data fetching and caching for Dioxus applications, inspired by Riverpod for Flutter☆18Jun 8, 2026Updated 4 months ago
- Modular music synthesiser☆17Jul 13, 2025Updated last year
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆58Mar 6, 2026Updated 7 months ago
- PyQt application which shows the plotly map☆11Jan 13, 2023Updated 3 years ago
- A high-performance, cross-platform daemon framework for Rust. Built with an async-native architecture and robust graceful shutdown for cr…☆14Oct 26, 2026Updated last week
- Performance benchmarks: C++ vs Rust for systems programming. RAII, lock-free data structures, async I/O, string processing. Reproducible …☆14Sep 22, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Set filesystem timestamps☆12Mar 10, 2025Updated last year
- An ETL tool for converting untyped CSV to parquet. Also triggers data lake updates.☆15Oct 29, 2021Updated 5 years ago
- Trajectory optimisation in learned multimodal dynamical systems via latent-space collocation - JAX.☆11May 18, 2021Updated 5 years ago
- Language server to enable word completion and snippets for Helix editor (and Zed!)☆36Apr 16, 2025Updated last year
- A library for cryptographic operations backed by a HSM or TPM☆12Aug 22, 2026Updated 2 months ago
- Blender addon for exporting native RBR track formats☆23Nov 26, 2025Updated 11 months ago
- Asynchronously listen for (latest) changes of values and combine them. Async runtime independent + WebAssembly supported.☆14Updated this week