A standard library for verified C — with explicit, composable verified primitives that can scale.
☆19Sep 19, 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:
- Portable four-parameter vital signs monitor (ECG, SpO2, temperature, respiration) built on ESP32. Biomedical engineering bachelor's proje…☆17Jul 9, 2026Updated 2 months ago
- Claw is a local-first AI control plane that runs powerful open models on your machine and connects to top LLM providers. It intelligently…☆23Updated this week
- Bridle and kite line for embedded systems based on Zephyr.☆27Updated this week
- 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…☆40Jul 25, 2026Updated last month
- 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.
- Work-Life Duty Cycle Clock☆18Aug 26, 2026Updated 3 weeks ago
- Distributed Earthquake Early Warning (EEW) system built on low-cost ESP32-C3 IoT sensors with Zero-Trust security, multi-node epicenter t…☆19Updated this week
- A ML-based tyre strategy engine based on real-time F1 data☆30Updated this week
- TailNG UI is a signal-first Angular component library with Material-like components, framework-agnostic styling, and support for Angular …☆16Updated this week
- The Quark Programming Language☆19Mar 18, 2026Updated 6 months ago
- Pixel-Pets: A local, open-source virtual pet ecosystem on M5Stack. 100% AI-authored C++ (Claude) by a 10yo maker. Includes Muffin (LLM), …☆30May 17, 2026Updated 4 months ago
- A Minimalist Asynchronous Toolkit (AMAST) is a small and efficient C99 library that helps manage complex, event-driven programs. It combi…☆31Sep 6, 2026Updated 2 weeks ago
- Native GPU-rendered desktop development environment — pure Rust + egui + wgpu. Terminal, file editor, diff, PDF, embedded browser, LSP, a…☆20Updated 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MetaC provides a read-eval-print loop (a REPL) and notebook interactive development environment (a NIDE) for C programming. MetaC also …☆12Aug 17, 2026Updated last month
- Agentic research control plane: queue state, worker preflight, wake-gated execution, evidence sync, dashboard, alerts, and AI-generated p…☆19Jul 21, 2026Updated last month
- Firmion is DSL and engine for firmware image generation.☆15Jul 7, 2026Updated 2 months ago
- Team memory sharing for claude-mem — sync AI memories across developers, with Claude Code plugin, github action and knowledge distillatio…☆27Jun 20, 2026Updated 2 months ago
- Judicious truncation for long vertico lines☆11Dec 26, 2023Updated 2 years ago
- Framework for AI agent teams that build real software on GitHub — governance, roles, and CLI included.☆16Sep 3, 2026Updated 2 weeks ago
- My configuration files☆10Updated this week
- UEFI firmware for RK3576 devices☆16Updated this week
- Real-time hallucination detection for LLMs via Geometric Drift Analysis in Hidden States.☆15Jun 3, 2026Updated 3 months 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.
- Provide reusable workflows for Unreal Engine 5.6/5.7 to simplify Blueprint, C++, UI, PCG, replication, debugging, and performance tasks.☆17Updated this week
- 丁立中的大模型算法工程作品集。聚焦 LLM / VLM 全链路的复现与优化，涵盖：① 预训练与微调（Pretrain / SFT / MoE / 多模态对齐）；② 强化学习对齐（PPO / GRPO / DAPO，含多奖励函数与 GAE）；③ 知识蒸馏（离线 KL 蒸馏、在…☆17May 26, 2026Updated 3 months ago
- a fast and minimal system information tool for linux-based operating systems☆11Jul 15, 2026Updated 2 months ago
- LLM budget control and cost governance for AI agents. Python library for token budgets, usage limits and guardrails for OpenAI, Anthropic…☆17Jun 17, 2026Updated 3 months ago
- My dotfiles☆15May 7, 2026Updated 4 months ago
- Symlinked dotfiles☆15Jul 29, 2026Updated last month
- pyPFC: An Open-Source Python Package for Phase Field Crystal Simulations☆16Sep 11, 2026Updated last week
- My dotfiles and scripts☆18Updated this week
- ☆13Updated this week
- 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.
- ☆34Nov 6, 2024Updated last year
- 💾 FreeRTOS port for the NEORV32 RISC-V Processor.☆16Sep 2, 2026Updated 2 weeks ago
- An Emacs package for browsing CLI command docs without man pages☆21Dec 13, 2024Updated last year
- unix keygen similar to 90's keygen☆16Jul 4, 2026Updated 2 months ago
- build of the suckless dmenu with scripts for bookmarks, calc, display, xrandr, iptv, pass, screenshot, shortcuts, unicode symbols, window…☆18Updated this week
- Deploy an OpenVPN server with TinyProxy and PingTunnel using Docker to bypass network restrictions. Easy setup for TCP/UDP connections. �…☆17Updated this week
- Rust parsers and editors for the Debian file formats☆20Updated this week