Floating-point SMTLIB benchmarks
☆10Jul 17, 2026Updated 3 months ago
Alternatives and similar repositories for smtlib_schanda
Users that are interested in smtlib_schanda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 years ago
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆60May 15, 2026Updated 5 months ago
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆22Updated this week
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 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.
- Tuning Assistant for Floating point to Fixed point Optimization☆19Mar 26, 2022Updated 4 years ago
- Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)☆12Jun 17, 2019Updated 7 years ago
- C source MCDC instrumentation and coverage report generation tool☆12Dec 18, 2023Updated 2 years ago
- ☆11Sep 13, 2024Updated 2 years ago
- Moving Object detection in Wide-Area Motion Imagery (WAMI) Videos☆17Oct 5, 2019Updated 7 years ago
- ☆11Jan 23, 2022Updated 4 years ago
- Project to build and test seL4 for many different platforms☆19Updated this week
- test roms for the gba☆15Oct 16, 2021Updated 5 years ago
- Yet Another FLAC to MP3 script☆16Dec 9, 2016Updated 9 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.
- Y86 backend implementation (based on Computer Systems book spec)☆11Sep 26, 2014Updated 12 years ago
- A curated list of awesome open source libraries to deploy, monitor, version and scale your machine learning☆10Sep 19, 2020Updated 6 years ago
- ☆14Nov 12, 2025Updated 11 months ago
- Highly optimized versions of memmove, memcpy, memset, and memcmp supporting SSE4.2, AVX, AVX2, and AVX512☆15Mar 3, 2019Updated 7 years ago
- Deploying and testing MLflow in Mail.ru Cloud Solutions☆19Feb 4, 2025Updated last year
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆17Dec 14, 2016Updated 9 years ago
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆29May 20, 2020Updated 6 years ago
- Toolbox for software dependability engineering of artificial neural networks☆35Nov 22, 2022Updated 3 years ago
- ExaDigiT/RAPS is a simulator for replaying or modeling workloads on supercomputers and predicting the resulting power consumption.☆15Oct 26, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Uses PHP to convert post-receive messages sent by github into human-readable emails.☆13Jun 3, 2009Updated 17 years ago
- ☆10Mar 20, 2016Updated 10 years ago
- A Game Boy Color and Game Boy Advance emulator☆15Jul 10, 2021Updated 5 years ago
- ☆12Jun 27, 2026Updated 4 months ago
- this a mini dpark for learning☆10Oct 11, 2014Updated 12 years ago
- Simple Fortran parallel IO benchmark for teaching and benchmarking purposes☆11Sep 16, 2026Updated last month
- Cray System Management☆12Updated this week
- A Gameboy/Color Emulator and API written in C++☆16Jul 27, 2022Updated 4 years ago
- Website for the KLEE project: https://klee-se.org/☆16Oct 15, 2026Updated 3 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A cross-platform turn-based Pokémon battle game for the terminal.☆17Jun 7, 2021Updated 5 years ago
- Torch Hammer: Strike while the GPU is hot☆18Updated this week
- Plugin for rustc to dump MIR in JSON format☆16Updated this week
- Cray Lustre is HPE's curated Lustre distro for HPE ClusterStor, Cray EX, and other HPE/Cray clients☆18Updated this week
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- Implementations of various toy programming languages☆11Apr 19, 2018Updated 8 years ago
- A per-user network traffic monitoring tool using eBPF. Captures all IPv4 and IPv6 network traffic and logs it to per-user files with dire…☆13Jan 22, 2026Updated 9 months ago