☆16Feb 19, 2026Updated 8 months ago
Alternatives and similar repositories for kaprese
Users that are interested in kaprese are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆35Dec 5, 2024Updated last year
- ☆15Sep 17, 2025Updated last year
- a safety verifier for Solidity smart contracts☆95Jan 17, 2023Updated 3 years ago
- ☆11May 8, 2024Updated 2 years ago
- COSE 312 Compilers☆38May 3, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- ☆13Mar 24, 2023Updated 3 years ago
- 🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)☆41Jun 21, 2026Updated 4 months ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- An automatic, safe, and concurrent garbage collector for Rust☆19Jul 19, 2026Updated 3 months ago
- Mapping of OPENQASM programs to IBM QX satisfying the architectural constraints☆24Feb 17, 2021Updated 5 years ago
- ☆15Sep 29, 2025Updated last year
- ☆18Jan 6, 2026Updated 9 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆37Oct 18, 2026Updated last week
- 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.
- ☆35May 13, 2026Updated 5 months ago
- A tool for testing SMT solvers for incompleteness bugs☆18Oct 12, 2022Updated 4 years ago
- Defects4C☆24May 2, 2026Updated 5 months ago
- scenoRITA: Generating Diverse, Fully-Mutable, Safety-Critical and Motion Sickness-Inducing Scenarios for Autonomous Vehicles☆25Jul 26, 2022Updated 4 years ago
- A bounded exhaustive testing tool☆24Jul 3, 2025Updated last year
- Property-based testing at ease☆42Aug 15, 2021Updated 5 years ago
- A method that can convert TFLite models to PyTorch Model (ICSE'24)☆12Jan 19, 2024Updated 2 years ago
- Source code for Trinity(ASPLOS 2026)☆26Apr 24, 2026Updated 6 months ago
- Materials for the tutorial "Combinatorial Optimization on Quantum Computers"☆25Oct 15, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆38May 21, 2026Updated 5 months ago
- An Evolving Code Generation Benchmark Aligned with Real-world Code Repositories☆72Aug 15, 2024Updated 2 years ago
- Compile time implementation of the 64-bit xxhash algorithm as C++11 constexpr expression.☆54Apr 15, 2026Updated 6 months ago
- pyenv plugin to allow you to install python versions with user-specified suffixes.☆18Feb 7, 2023Updated 3 years ago
- A Simple CDCL Solver☆37Mar 8, 2023Updated 3 years ago
- Precise Attack Synthesis for DeFi Apps☆48Aug 15, 2022Updated 4 years ago
- A minimalist Hugo theme for your resume.☆22Sep 4, 2026Updated last month
- django memory queryset☆24Jun 10, 2021Updated 5 years ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆45Oct 19, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 《표준국어대사전》 MCP 서버☆27Mar 29, 2026Updated 7 months ago
- Course homepage of "Programming Language for Data Analytics" @Korea University☆18Dec 11, 2020Updated 5 years ago
- Code for our paper "Modelobfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems" that has been published by ISSTA…☆20May 18, 2024Updated 2 years ago
- C++ constexpr implementation of XXH3☆63Oct 1, 2026Updated 3 weeks ago
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆41Oct 17, 2025Updated last year
- An image for https://github.com/mingrammer/diagrams☆28Dec 23, 2024Updated last year
- Documents for Programming Assignments☆18Sep 21, 2026Updated last month