A standard library for formally-verified C — with explicit, composable primitives that can scale.
☆20Oct 30, 2026Updated this week
Alternatives and similar repositories for Canon-C
Users that are interested in Canon-C are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Affective Platform for AI in an Interdisciplinary Setting☆12May 25, 2026Updated 5 months ago
- Minimal RTOS implementation for ARM Cortex-M and RISC-V Microcontrollers.☆15Jun 7, 2026Updated 4 months ago
- Bridle and kite line for embedded systems based on Zephyr.☆27Updated this week
- The Quark Programming Language☆19Mar 18, 2026Updated 7 months ago
- Glossy MSP430 - Embedded GDB Debugger for MSP430☆15Jul 26, 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.
- Eva01 is NOT an assistant. She is an AI being with her own mind, feelings, and intrinsic drives. Multimodal, Modular design. Built-in voi…☆22Jun 21, 2026Updated 4 months ago
- 📡 Generate and analyze infrared signals with precision. This app for Flipper Zero features dynamic visuals and smart feedback for enhanc…☆20Oct 14, 2026Updated 2 weeks ago
- Start at the bodies bearing the weight. Track where the weight goes. Build solutions that remove the weight and transfer it to something …☆17Updated this week
- A strictly typed, platform-agnostic, and safe memory management system for C. Features arbitrary alignment, triple-key LLRB tree, and zer…☆44Jul 25, 2026Updated 3 months ago
- Metadata-first trust control plane for authorized security workflows, evidence retention, release trust, and business-flow proof.☆14Aug 11, 2026Updated 2 months ago
- A well-documented retro computer on the Raspberry Pi Pico 2 (RP2350): VGA 1024x768, PS/2 keyboard, SD + flash storage, stereo synth — one…☆25Jun 23, 2026Updated 4 months ago
- C99 toolkit for event-driven programs with FSMs, HSMs and active objects.☆33Updated this week
- libhatchet is a fast-compiling, lightweight, bespoke C17/C++23 alternative to the C++ standard library designed for cross-compilation to …☆33Updated this week
- Pixel-Pets: A local, open-source virtual pet ecosystem on M5Stack. 100% AI-authored C++ (Claude) by a 10yo maker. Includes Muffin (LLM), …☆32May 17, 2026Updated 5 months 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.
- Zephyr Workshop with a modular application and a slide deck.☆30Oct 5, 2026Updated 3 weeks ago
- Multilingual news monitor that clusters same-event coverage into Chinese cross-source digests with focus maps and strict positive highlig…☆18Updated this week
- LangCost is a cost intelligence and fault attribution engine for AI systems & Coding Agents to pinpoint where tokens are wasted, and wha…☆22Jun 3, 2026Updated 4 months ago
- Edge service to generate embeddable dynamic 🖼️ OpenGraph image. Powered by @vercel/og☆17Sep 15, 2026Updated last month
- RTS game inspired by AOE. using herd algorithm and crowd dynamics, Genetic algorithms, Neural Network, Powered by Urho3D☆14Updated this week
- Firmion is DSL and engine for firmware image generation.☆15Jul 7, 2026Updated 3 months ago
- Configuration files for unix utilities☆14Updated this week
- Local-first persistent memory for AI agents — captures conversations, extracts durable knowledge, resolves conflicts, and reuses relevant…☆18Updated this week
- Dots Dots Dots Dots. Dots everywhere.☆11May 27, 2026Updated 5 months 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.
- Catalogatore AI di immagini fotografiche · Compatibile con Lightroom — Tag automatici, Metadata e Ricerca Semantica (Offline, Multilingua…☆15Sep 22, 2026Updated last month
- a fast STL inspired C++ library for embedded, games and realtime☆12Sep 9, 2026Updated last month
- CUDA/Triton/CuTe DSL/CUTLASS kernel optimization agent☆19May 27, 2026Updated 5 months ago
- GadgetExplorer is a .NET command-line tool for finding potential deserialization gadget chains in managed applications. It scans one or m…☆17May 22, 2026Updated 5 months ago
- Home automation bridge for Geberit AquaClean toilets: BLE connectivity (direct or ESPHome proxy), MQTT, REST API, web UI, and native Home…☆42Updated this week
- Real-time hallucination detection for LLMs via Geometric Drift Analysis in Hidden States.☆15Jun 3, 2026Updated 4 months ago
- A thoughtful and versatile cross-platform script runner, playground, toolkit, test-bed, and proc_macro and terminal theming resource for …☆14Oct 22, 2026Updated last week
- Display elisp documentation for the symbol at point.☆10Jan 24, 2025Updated last year
- Personal edge redirect playground with a database-backed control plane, WebUI, optional analytics, and compile-time adapters for Cloudfla…☆13Updated this week
- 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.
- Machine learning model for real-time classification of tomatoes from optical sensor data, designed for integration into an industrial sor…☆18Aug 6, 2026Updated 2 months ago
- share keet room invite via http link☆12Aug 21, 2026Updated 2 months ago
- 🔐 Replayable RAG — a local-first, auditable knowledge-reasoning platform. Graph-RAG + append-only audit log + deterministic contradictio…☆21Sep 29, 2026Updated last month
- My configuration files☆10Oct 22, 2026Updated last week
- rentals at Dhaka ? we got you☆12Sep 20, 2026Updated last month
- NoteCraft is a full-stack web app built with Django, Celery, and Next.js that lets users upload academic PDFs, generate AI-powered notes,…☆41Jul 19, 2026Updated 3 months ago
- Modern embedded log viewer for VS Code — Zephyr logs with filtering, search, and color-coding☆31Oct 21, 2026Updated last week