IDE Integration of Facebook Infer
☆14Nov 9, 2022Updated 3 years ago
Alternatives and similar repositories for InferIDE
Users that are interested in InferIDE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- Verifying the SCION architecture using Gobra☆12Aug 23, 2026Updated last week
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- HTTP server that manages verification requests to different tools from the Viper tool stack.☆16Updated this week
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 7 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.
- Verifier for effectful, higher-order programs☆19Jul 1, 2026Updated last month
- A python interface to joern (deprecated).☆35Nov 13, 2018Updated 7 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆12Feb 7, 2025Updated last year
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- DIY Smart Mirror built with Electron☆12Aug 17, 2026Updated last week
- Motorola 6805/68HC05 CPU emulator core☆19Jun 10, 2024Updated 2 years ago
- Update expired Extended Prediction Orbit (EPO) GPS data for Garmin devices, e.g. Forerunner watches. Spend less time waiting for a GPS f…☆16Apr 13, 2026Updated 4 months ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆13Jul 27, 2025Updated last year
- ☆12Aug 27, 2016Updated 10 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.
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 7 years ago
- 一个集分布式爬虫,分布式存储,分布式计算统计分析一体的统计分析数据挖掘项目☆14Feb 6, 2018Updated 8 years ago
- Build a pfSense box with Packer☆15Mar 8, 2014Updated 12 years ago
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆14Jan 11, 2023Updated 3 years ago
- A tool to create personalized OpenStreetMap quality assurance feeds☆15Aug 19, 2021Updated 5 years ago
- 毕业设计-基于HBase实现的手机数据备份系统，实现了手机关键信息的备份，如短信、联系人、重要文件等。☆19Mar 29, 2017Updated 9 years ago
- source code of the paper "[CIKM 2023] Task-Difficulty-Aware Meta-Learning with Adaptive Update Strategies for User Cold-Start Recommendat…☆10Oct 27, 2023Updated 2 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- A coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated 7 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.
- Simple web application to inspect, show diff, and render your helm chart☆18Oct 23, 2023Updated 2 years ago
- Remote control B&O Beoplay loudspeakers from macOS☆17Apr 15, 2026Updated 4 months ago
- TongjiThesis Docker 环境 | Docker environment for TongjiThesis (Tongji University thesis LaTeX template)☆12Mar 28, 2026Updated 5 months ago
- ☆19Jan 9, 2024Updated 2 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Aug 1, 2026Updated 3 weeks ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆29Jan 10, 2025Updated last year
- Using LANDSAT7 satellite images to predict population.☆12Jun 10, 2016Updated 10 years ago
- ☆21Jan 31, 2026Updated 6 months ago
- Desktop application that retrieves AVL data from Hillsborough Area Regional Transit (HART)'s AVL system and produces Trip Updates and Veh…☆17Mar 16, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Mixed more or less useful programs using the Osmium library☆22Jan 18, 2026Updated 7 months ago
- Course project of CG(CS100433, 2019 fall, Tongji Univ.): A real-time billiard simulator using both ray tracing and graphics pipeline.☆12Sep 19, 2020Updated 5 years ago
- Code for the paper "A Structural Model for Contextual Code Changes"☆32Oct 25, 2023Updated 2 years ago
- The First International Workshop on Large Language Models for Code 2024 (Co-Located with ICSE 2024)☆18Oct 4, 2024Updated last year
- Filters GTFS-feeds to create smaller samples☆15Apr 21, 2022Updated 4 years ago
- A parking proxy for tcp connections☆20Feb 2, 2017Updated 9 years ago
- Py++ for generating pybind11 code☆14Jun 5, 2016Updated 10 years ago