A standard library for verified C — with explicit, composable verified primitives that can scale.
☆17Aug 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…☆16Jul 9, 2026Updated last month
- 📄 Enhance Apple Developer docs by converting them into AI-readable Markdown for easier access and improved usability.☆20Updated 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…☆17Jul 22, 2026Updated 2 weeks ago
- A strictly typed, platform-agnostic, and safe memory management system for C. Features arbitrary alignment, triple-key LLRB tree, and zer…☆36Jul 25, 2026Updated 2 weeks ago
- 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Work-Life Duty Cycle Clock☆18May 16, 2026Updated 2 months ago
- A ML-based tyre strategy engine based on real-time F1 data☆29Jul 30, 2026Updated last week
- 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 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 last month
- A Minimalist Asynchronous Toolkit (AMAST) is a small and efficient C99 library that helps manage complex, event-driven programs. It combi…☆30Jul 29, 2026Updated last week
- Native GPU-rendered desktop development environment — pure Rust + egui + wgpu. Terminal, file editor, diff, PDF, embedded browser, LSP, a…☆19Updated this week
- Collection of AI, Data Structures, Data Science, DBMS, and OOP practicals implemented in Python, aligned with the SPPU 2024 curriculum. I…☆23Updated this week
- Open standard for Provenance & Intent Contracts (PIC) in AI agents. Verify intent, provenance, and evidence before high-impact tool calls…☆31Jul 13, 2026Updated 3 weeks 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.
- MetaC provides a read-eval-print loop (a REPL) and notebook interactive development environment (a NIDE) for C programming. MetaC also …☆12Jul 11, 2026Updated 3 weeks ago
- High-Performance Encrypted Database for .NET 10 | Embedded + gRPC Server | Vector Search • GraphRAG • Analytics☆35Aug 3, 2026Updated last week
- Save files using s3 or fs, includes ability to crop, resize, reformat images etc☆10Apr 14, 2021Updated 5 years ago
- Agentic research control plane: queue state, worker preflight, wake-gated execution, evidence sync, dashboard, alerts, and AI-generated p…☆16Jul 21, 2026Updated 2 weeks ago
- Firmion is DSL and engine for firmware image generation.☆15Jul 7, 2026Updated last month
- Team memory sharing for claude-mem — sync AI memories across developers, with Claude Code plugin, github action and knowledge distillatio…☆20Jun 20, 2026Updated last month
- 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
- Framework for AI agent teams that build real software on GitHub — governance, roles, and CLI included.☆16Jul 9, 2026Updated last month
- 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.
- My configuration files☆10Updated this week
- GadgetExplorer is a .NET command-line tool for finding potential deserialization gadget chains in managed applications. It scans one or m…☆16May 22, 2026Updated 2 months ago
- Real-time hallucination detection for LLMs via Geometric Drift Analysis in Hidden States.☆15Jun 3, 2026Updated 2 months ago
- a fast and minimal system information tool for linux-based operating systems☆11Jul 15, 2026Updated 3 weeks ago
- 丁立中的大模型算法工程作品集。聚焦 LLM / VLM 全链路的复现与优化，涵盖：① 预训练与微调（Pretrain / SFT / MoE / 多模态对齐）；② 强化学习对齐（PPO / GRPO / DAPO，含多奖励函数与 GAE）；③ 知识蒸馏（离线 KL 蒸馏、在…☆17May 26, 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…☆16Jun 17, 2026Updated last month
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 3 weeks ago
- Symlinked dotfiles☆15Jul 29, 2026Updated last week
- My dotfiles and scripts☆18Updated this week
- ☆13Updated this week
- my dotfiles☆11Jun 25, 2026Updated last month
- An Emacs package for browsing CLI command docs without man pages☆21Dec 13, 2024Updated last year