Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with counterexample

A curated list of projects in awesome lists tagged with counterexample .

https://github.com/catseye/eightebed

MIRROR of https://codeberg.org/catseye/Eightebed : A C-like language with explicit free which is nonetheless safe

counterexample garbage-collection memory-safety static-analysis

Last synced: 15 Jan 2025