FICHA · AUR

c0

A small safe subset of the C programming language, augmented with contracts

  • cli
  • CLI
  • Launchable
  • Runs in terminal
official+codex · reviewed · May 30, 2026 description in en

Description

Programming exercises can use a safer C-like language with contracts that make mistakes easier to catch. It is useful for students, instructors, and developers studying low-level concepts without the full risk and complexity of C.

This is a language toolchain, usually used from the terminal or by course tooling. It helps check programs written for the C0 language, but it is not a replacement for a production C compiler.

How to run

c0

Commands: c0

Permissions

Permissions not analysed for this source yet.