An interactive (fast) static source code analyzer
☆193Apr 18, 2026Updated last month
Alternatives and similar repositories for Cobra
Users that are interested in Cobra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆28Jan 3, 2025Updated last year
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆15Oct 15, 2025Updated 7 months ago
- Python Support for Ball Aerospace COSMOS v4☆18Jan 24, 2023Updated 3 years ago
- ☆10Jul 30, 2020Updated 5 years ago
- TkS*LIDE - Tk/TCL based Snobol4/Spitbol IDE☆13Feb 19, 2026Updated 3 months ago
- 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.
- An eqn preprocessor for Neatroff☆14Apr 18, 2025Updated last year
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- CSCI 499 — Advanced Applications: A Hunter Fall 2025 Course☆26Nov 7, 2025Updated 6 months ago
- Static analyzer for C/C++ based on the theory of Abstract Interpretation.☆3,149Apr 24, 2025Updated last year
- A composable container for Adaptive ROS 2 Node computations. Select between FPGA, CPU or GPU at run-time.☆12Apr 14, 2022Updated 4 years ago
- New generation of State Chart Autocoder written completely in Python☆14Apr 29, 2026Updated 3 weeks ago
- C Bounded Model Checker☆1,057May 12, 2026Updated last week
- Examples and case-study that use OSATE☆58Apr 15, 2025Updated last year
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 11 years ago
- 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.
- CCSDS SOIS Electronic Data Sheet Tool and Library☆41May 14, 2026Updated last week
- A command-line tool for functional testing of console applications☆19Jun 12, 2024Updated last year
- ☆82Aug 20, 2025Updated 9 months ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆14Oct 25, 2018Updated 7 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- static analysis benchmarks from Toyota ITC☆121May 9, 2023Updated 3 years ago
- This is a new repository for a new tool to be added to the cFS ecosystem called cFS Test Framework (CTF).☆34Oct 1, 2025Updated 7 months ago
- Practical mutation testing and fault injection for C and C++☆814May 12, 2026Updated last week
- IEEE Taxonomy in RDF (with Python tool for converting it from txt to rdf)☆13Dec 22, 2025Updated 4 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.
- Documentation, backgrounders and tutorial material related to information design, engineering, semantics, ontologies, and vocabularies☆17May 22, 2023Updated 2 years ago
- This is a portable, open source emulator of the 32-bit Inmos T414/T800/T801/T805 Transputer family, and a host/file I/O Server that inter…☆22May 8, 2026Updated last week
- Mutation analysis tool for Coq verification projects☆30Oct 13, 2020Updated 5 years ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆485Updated this week
- research software encyclopedia database☆14Updated this week
- ☆13Jul 21, 2025Updated 10 months ago
- ROS 1 and ROS 2 message definition parser☆19Jan 8, 2025Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆40Apr 24, 2026Updated 3 weeks ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆20Apr 14, 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.
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆254Updated this week
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Dec 10, 2021Updated 4 years ago
- C99 parser and frontend for libfirm☆363Jan 9, 2025Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆150Jan 30, 2025Updated last year
- ROS 2 Type adapters for common C++ frameworks☆18Mar 26, 2025Updated last year
- Patched XMGR plotting program for 64-bit machines☆15Mar 2, 2024Updated 2 years ago
- minimalistic peripheral access library for the Raspberry Pi☆12Jan 4, 2020Updated 6 years ago