A standard library for verified C — with explicit, composable verified primitives that can scale.
☆16Jul 12, 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:
- MetaC provides a read-eval-print loop (a REPL) and notebook interactive development environment (a NIDE) for C programming. MetaC also …☆12Updated this week
- A collection of .bashrc stuff and other dotfiles☆20Jul 2, 2026Updated 2 weeks ago
- a fast and minimal system information tool for linux-based operating systems☆11Updated this week
- .☆11Jul 7, 2026Updated last week
- My dotfiles☆15May 7, 2026Updated 2 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.
- Symlinked dotfiles☆15Jul 9, 2026Updated last week
- My dotfiles and scripts☆18Updated this week
- ☆13Jun 15, 2026Updated last month
- Structured, Literate Emacs configuration framework☆26Feb 18, 2026Updated 4 months ago
- my dotfiles☆11Jun 25, 2026Updated 3 weeks ago
- unix keygen similar to 90's keygen☆16Jul 4, 2026Updated last week
- a collection of small shell utilities that connect to a local Emacs server.☆21Apr 1, 2024Updated 2 years ago
- build of the suckless dmenu with scripts for bookmarks, calc, display, xrandr, iptv, pass, screenshot, shortcuts, unicode symbols, window…☆18Updated this week
- An Emacs package for browsing CLI command docs without man pages☆21Dec 13, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Personal dotfiles☆12Nov 26, 2025Updated 7 months ago
- ☆13Jul 1, 2026Updated 2 weeks ago
- ☆15Feb 18, 2026Updated 4 months ago
- Nix configurations files for corytertel☆14Feb 19, 2025Updated last year
- A tool for working with Org-mode data from command-line, tuned to my own use cases☆21May 14, 2026Updated 2 months ago
- Will's OS☆12Mar 30, 2026Updated 3 months ago
- Stow away my dotfiles☆17Jul 23, 2025Updated 11 months ago
- fzf shell scripts for alsa, cpupower, git, iwd, find, w3m, images, pictures, bulk, rename, wifi, wlan, man, mount, pacman, paru, ssh, tra…☆15Updated this week
- My scripts and dotfiles.☆18Jun 16, 2026Updated last month
- 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.
- .files☆21Updated this week
- My literate Emacs configuration☆16May 8, 2026Updated 2 months ago
- Automatically show hidden emphasis markers at point in org mode.☆17Jul 27, 2025Updated 11 months ago
- Personal dotfiles for Hyprland☆14Updated this week
- My Emacs configuration☆12Nov 2, 2025Updated 8 months ago
- My emacs configuration (redux)☆17Jul 6, 2026Updated last week
- compilation of dotfiles for the i3 window manager environment☆18Updated this week
- Custom dotfile configurations and settings☆22Updated this week
- A repository for all my configurations☆21Updated 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.
- Polybar custom module - List all open windows, click to switch focus or minimize☆18Jul 23, 2025Updated 11 months ago
- Text editor for cimgui☆19Feb 1, 2024Updated 2 years ago
- Emacs Customisation. Org Babel based emacs customisations.☆14Jun 29, 2026Updated 2 weeks ago
- 🎨 Base16 color schemes for sioyek☆19Jun 21, 2026Updated 3 weeks ago
- Offline dictionary with REPL, API server and GUI, supporting open formats, for Linux.☆19Dec 4, 2025Updated 7 months ago
- My own bunch of "systemd --user" units. Created by RTFM, trial and error.☆15May 23, 2026Updated last month
- 🗃️ Supercharge your browser's New Tab with Org-Agenda☆24Mar 1, 2024Updated 2 years ago