A standard library for formally-verified C — with explicit, composable primitives that can scale.
☆20Oct 9, 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 3 months ago
- 9vms Global Cloud Servers: Starting at $49.95/month — Enterprise Dedicated Servers with Unlimited Traffic & High-Performance Bare Metal☆95Updated this week
- 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
- 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…☆43Jul 25, 2026Updated 2 months 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.
- A ML-based tyre strategy engine based on real-time F1 data☆30Sep 18, 2026Updated 3 weeks ago
- Minimal C implementation of the Secure Remote Password protocol (version 6a)☆11Apr 10, 2016Updated 10 years 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 3 months ago
- Distributed Earthquake Early Warning (EEW) system built on low-cost ESP32-C3 IoT sensors with Zero-Trust security, multi-node epicenter t…☆21Updated this week
- Collection of AI, Data Structures, Data Science, DBMS, and OOP practicals implemented in Python, aligned with the SPPU 2024 curriculum. I…☆32Sep 22, 2026Updated 2 weeks ago
- MetaC provides a read-eval-print loop (a REPL) and notebook interactive development environment (a NIDE) for C programming. MetaC also …☆12Sep 27, 2026Updated last week
- Open standard for Provenance & Intent Contracts (PIC) in AI agents. Verify intent, provenance, and evidence before high-impact tool calls…☆32Sep 30, 2026Updated last week
- High-Performance Encrypted Database for .NET 10 | Embedded + gRPC Server | Vector Search • GraphRAG • Analytics☆42Updated this week
- Home automation bridge for Geberit AquaClean toilets: BLE connectivity (direct or ESPHome proxy), MQTT, REST API, web UI, and native Home…☆41Updated 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.
- Team memory sharing for claude-mem — sync AI memories across developers, with Claude Code plugin, github action and knowledge distillatio…☆28Jun 20, 2026Updated 3 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☆10Oct 1, 2026Updated last week
- GadgetExplorer is a .NET command-line tool for finding potential deserialization gadget chains in managed applications. It scans one or m…☆17May 22, 2026Updated 4 months ago
- a fast and minimal system information tool for linux-based operating systems☆10Sep 30, 2026Updated last week
- LLM budget control and cost governance for AI agents. Python library for token budgets, usage limits and guardrails for OpenAI, Anthropic…☆18Jun 17, 2026Updated 3 months ago
- My dotfiles☆15May 7, 2026Updated 5 months ago
- .☆11Oct 3, 2026Updated last 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.
- Symlinked dotfiles☆15Jul 29, 2026Updated 2 months ago
- My dotfiles and scripts☆18Updated this week
- ☆13Updated this week
- 💾 FreeRTOS port for the NEORV32 RISC-V Processor.☆16Oct 2, 2026Updated last week
- my dotfiles☆11Jun 25, 2026Updated 3 months ago
- An Emacs package for browsing CLI command docs without man pages☆21Dec 13, 2024Updated last year
- build of the suckless dmenu with scripts for bookmarks, calc, display, xrandr, iptv, pass, screenshot, shortcuts, unicode symbols, window…☆18Sep 19, 2026Updated 3 weeks ago
- Deploy an OpenVPN server with TinyProxy and PingTunnel using Docker to bypass network restrictions. Easy setup for TCP/UDP connections. �…☆18Oct 3, 2026Updated last week
- Rust parsers and editors for the Debian file formats☆20Oct 3, 2026Updated last week
- 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.
- Pre-commit hooks for Emacs Lisp (Elisp) Git repositories: pre-commit-elisp☆15Oct 1, 2026Updated last week
- Personal dotfiles☆12Nov 26, 2025Updated 10 months ago
- 🐙 Production-grade React Native facial recognition app using ArcFace ONNX for face registration, verification, and secure local storage …☆16Oct 3, 2026Updated last week
- ☆15Aug 31, 2026Updated last month
- Nix configurations files for corytertel☆14Feb 19, 2025Updated last year
- Autonomous research engine for generating, testing, and governing auditable claims across science, proofs, and high-stakes projects.☆20Aug 29, 2026Updated last month
- Will's OS☆12Mar 30, 2026Updated 6 months ago