Connect IQ (PRG) parser and debugger
☆39Apr 20, 2024Updated 2 years ago
Alternatives and similar repositories for ciqdb
Users that are interested in ciqdb 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 command line tool that helps developers build tile-mapped anti-aliased graphics for Garmin wearables.☆47Oct 3, 2023Updated 3 years ago
- Monkey C language support for IDEA (not maintained)☆38Jun 11, 2021Updated 5 years ago
- WFC Overlapping Model implementation in haxe☆15Aug 19, 2018Updated 8 years ago
- Interactive Brokers API to Kafka bridge☆18Feb 2, 2017Updated 9 years ago
- ☆21Mar 17, 2023Updated 3 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.
- A prettier plugin for Garmin monkey-c☆18Jul 4, 2026Updated 3 months ago
- ☆27Apr 12, 2017Updated 9 years ago
- An animated Nyan Cat watchface for Garmin's wearable lineup.☆24Dec 28, 2025Updated 9 months ago
- Clojure-friendly wrapper for InteractiveBrokers java API☆15Feb 18, 2018Updated 8 years ago
- Utility library for HAXE3/OpenFL☆12Sep 22, 2015Updated 11 years ago
- C/C++ Coroutines etc. on the Panic Playdate☆23Oct 22, 2025Updated 11 months ago
- Pure DOOM - Single Header Doom Source Port☆24Jan 8, 2023Updated 3 years ago
- The easier way to install and manage Haxe compiler versions☆21Aug 15, 2026Updated 2 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 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.
- A lightweight library to encode and read grayscale images, with Playdate support.☆22Apr 25, 2026Updated 5 months ago
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- ☆16Jan 25, 2026Updated 8 months ago
- A Z80 CPU implemented in Chisel.☆11Sep 20, 2020Updated 6 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 years ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆15Jan 9, 2026Updated 9 months ago
- ☆11Dec 9, 2020Updated 5 years ago
- Native dialog support for Android, iOS, BlackBerry and HTML5.☆24Apr 15, 2020Updated 6 years ago
- An example of on-boarding a PIO block in with duh and wake☆12Nov 18, 2020Updated 5 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.
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- 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
- Wavious Wlink☆12Oct 28, 2021Updated 4 years ago
- Reticle evaluation (PLDI 2021)☆12Apr 12, 2021Updated 5 years ago
- An experimental module for accelerating parts of arcade☆11Oct 7, 2024Updated 2 years ago
- Hardware Description from Technical Documentation☆15Oct 4, 2026Updated last week
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- Formatter for Go HTML templates☆19May 18, 2023Updated 3 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.
- ☆12May 20, 2021Updated 5 years ago
- Keep a Changelog tooling for automating changelog releases☆13May 27, 2026Updated 4 months ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆11May 24, 2019Updated 7 years ago
- Whisk: 16-bit serial processor for TT02☆13Sep 30, 2024Updated 2 years ago
- A pyqt prog. to practice mental calculation and anzan☆23Jan 10, 2026Updated 9 months ago
- Cryptography accelerator core (for AES128/AES256 and SHA256) designed in Chisel3, primarily targeting ASIC platforms.☆11Jan 11, 2021Updated 5 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year