A standard library for verified C — with explicit, composable verified primitives that can scale.
☆18Aug 27, 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:
- Claw is a local-first AI control plane that runs powerful open models on your machine and connects to top LLM providers. It intelligently…☆22Updated this week
- Bridle and kite line for embedded systems based on Zephyr.☆27Updated this week
- The weight-bearer: the anchor point that unifies the good ideas in ethics, and the manifesto/prompt as the counterweight that aims to tak…☆17Updated this week
- Development of a real-time earthquake detection system, to alert the population even in areas where there isn’t a dedicated relevation sy…☆18Updated this week
- A ML-based tyre strategy engine based on real-time F1 data☆30Jul 30, 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.
- TailNG UI is a signal-first Angular component library with Material-like components, framework-agnostic styling, and support for Angular …☆16Updated 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), …☆28May 17, 2026Updated 3 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 2 months ago
- Native GPU-rendered desktop development environment — pure Rust + egui + wgpu. Terminal, file editor, diff, PDF, embedded browser, LSP, a…☆20Aug 6, 2026Updated 3 weeks ago
- libhatchet is a fast-compiling, lightweight, bespoke C17/C++23 alternative to the C++ standard library designed for cross-compilation to …☆32Updated this week
- 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 week
- High-Performance Encrypted Database for .NET 10 | Embedded + gRPC Server | Vector Search • GraphRAG • Analytics☆37Updated this week
- Save files using s3 or fs, includes ability to crop, resize, reformat images etc☆10Apr 14, 2021Updated 5 years ago
- Home automation bridge for Geberit AquaClean toilets: BLE connectivity (direct or ESPHome proxy), MQTT, REST API, web UI, and native Home…☆40Updated this week
- 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.
- Firmion is DSL and engine for firmware image generation.☆15Jul 7, 2026Updated last month
- Modern embedded log viewer for VS Code — Zephyr logs with filtering, search, and color-coding☆30Aug 11, 2026Updated 2 weeks ago
- Team memory sharing for claude-mem — sync AI memories across developers, with Claude Code plugin, github action and knowledge distillatio…☆24Jun 20, 2026Updated 2 months ago
- Judicious truncation for long vertico lines☆11Dec 26, 2023Updated 2 years ago
- Display elisp documentation for the symbol at point.☆10Jan 24, 2025Updated last year
- My configuration files☆10Updated this week
- UEFI firmware for RK3576 devices☆16Aug 16, 2026Updated 2 weeks ago
- a fast and minimal system information tool for linux-based operating systems☆11Jul 15, 2026Updated last month
- LLM budget control and cost governance for AI agents. Python library for token budgets, usage limits and guardrails for OpenAI, Anthropic…☆16Jun 17, 2026Updated 2 months 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.
- A build package for mqtt-c.☆24Dec 28, 2022Updated 3 years ago
- My dotfiles☆15May 7, 2026Updated 3 months ago
- .☆11Updated this week
- Three packages: @kernel.chat/agent-os (POSIX for AI agents — capabilities, namespaces, quotas, taint, audit, vault, outcomes), @kernel.ch…☆16Updated this week
- Trying go get some GPIO working using only Zig and no external C libraries☆11Mar 21, 2022Updated 4 years ago
- 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 last month
- Symlinked dotfiles☆15Jul 29, 2026Updated last month
- My dotfiles and scripts☆18Updated this week
- ☆34Nov 6, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- unix keygen similar to 90's keygen☆16Jul 4, 2026Updated last month
- build of the suckless dmenu with scripts for bookmarks, calc, display, xrandr, iptv, pass, screenshot, shortcuts, unicode symbols, window…☆18Aug 5, 2026Updated 3 weeks ago
- Deploy an OpenVPN server with TinyProxy and PingTunnel using Docker to bypass network restrictions. Easy setup for TCP/UDP connections. �…☆16Updated this week
- Rust parsers and editors for the Debian file formats☆20Aug 15, 2026Updated 2 weeks ago
- Custom firmware for the Rituals the Perfume Genie 2.0☆15Jul 6, 2026Updated last month
- Personal dotfiles☆12Nov 26, 2025Updated 9 months ago
- A local dev tool where your agents are weird alien dogs. Would you let them in?☆20Jun 29, 2026Updated 2 months ago