Splint win32 binaries
☆68Dec 7, 2022Updated 3 years ago
Alternatives and similar repositories for splint_win32
Users that are interested in splint_win32 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- wx-config for Windows☆10Mar 21, 2023Updated 3 years ago
- ☆10Jul 30, 2016Updated 10 years ago
- a wxWidgets cross platform Serial Port library☆17Oct 9, 2019Updated 6 years ago
- Batch-testing for CodeForces : Windows version☆10Dec 18, 2015Updated 10 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- 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.
- The Indus script optical grapheme recognition engine (from archaeological artifact images)☆17Oct 12, 2017Updated 8 years ago
- Web based code browser using clang to provide basic code analysis.☆47Jul 20, 2017Updated 9 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- Universal Trace Debugger Engine. Currently, only support windbg on Windows, but the long term goal is to also support GDB or LLDB☆13Dec 30, 2013Updated 12 years ago
- Simple preemptive, realtime, multitask kernel made just for fun.☆11Jul 2, 2020Updated 6 years ago
- Simple MIPS32 Emulator (primarily used to run SmallerC compiled for MIPS)☆18Oct 31, 2015Updated 10 years ago
- ☆17Jul 12, 2020Updated 6 years ago
- Scripts for building cross-toolchain Mingw-w64 --> MSYS2☆14Jan 8, 2015Updated 11 years ago
- Targeted patcher for CGC binaries. CGrex was used only during the CGC qualifier event, and is OBSOLETE. For the CFE, we used patcherex (g…☆15Sep 2, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An open source applicaton for CAN bus analysis, testing and data acquisition☆11Feb 12, 2017Updated 9 years ago
- Assume you have a large book collection in some folder/folders, and you would like to create a database of your books, so that you can kn…☆10Jan 7, 2014Updated 12 years ago
- A port of the gcc compiler suite to the Motorola 6809 processor☆14May 17, 2017Updated 9 years ago
- ☆18Jul 27, 2015Updated 11 years ago
- Open source set of instrumentation controls.☆12Jan 9, 2025Updated last year
- A grab-bag of half-baked projects around Emulating M6809 and Doing NitrOS9/OS9.☆13Mar 11, 2025Updated last year
- 2MB RAM Expansion for the TANDY Color Computer 1 and 2 and the Dragon computers☆14Apr 6, 2026Updated 6 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Tandy Color Computer CocoFLASH☆15May 21, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- IRC, iChat client☆11Mar 14, 2015Updated 11 years ago
- OS-9/NitrOS-9 library support for CMOC☆12Updated this week
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- IDAPython script in order to auto-rename subs☆21May 17, 2017Updated 9 years ago
- Lua translation of the ninja_syntax.py module found in the official ninja repository.☆16Jun 11, 2026Updated 3 months ago
- AST - Extractor for LLVM☆18Feb 23, 2021Updated 5 years ago
- ZYNQ-IPMC Hardware☆17May 19, 2022Updated 4 years ago
- Language Bindings to interact with the BeagleBone PRUs☆10Jan 8, 2022Updated 4 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Xanadu - An IDE of SDCC☆15Mar 21, 2017Updated 9 years ago
- A Delphi clone of the classic game: 2048☆13Oct 13, 2018Updated 7 years ago
- Circuits and programmable Logic for use with Tandy computers.☆14May 18, 2021Updated 5 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆23Jul 30, 2016Updated 10 years ago
- Fork of the kernel backports repository☆12Aug 5, 2025Updated last year
- Ruby interface to Debian apt-pkg☆17Aug 26, 2023Updated 3 years ago
- Newlib built with Clang for custom OS☆10Apr 30, 2018Updated 8 years ago