Param: Make your Python code clearer and more reliable by declaring Parameters

safec libc extension with all C11 Annex K functions

Lean C/C++ Bounds Checking with Low-Fat Pointers

Runtime type and bounds-error checking for C/C++

A JIT compiler for a small scheme dialect, as a project for Advanced Compilers.

penum is a procedural macro that is used to make an enum follow a given pattern, which can include generics and trait bounds.

openosc: Open Object Size Checking: Library to detect buffer overflows in C/C++ code

Write classes with lots of similar simple defensive properties without the boilerplate

An implementation of the Core and Subcore protocols proposed by Aziz and Mackenzie (2016) for discrete, bounded, envy-free, partial division of a heterogeneous resource

Quick and dirty C# code to evaluate performance of normal array access vs. unsafe pointer access.

A Unity3D game built in an arena format with animated textures, levels, and arenas to be played through to set high scores

A header only implementation of "strnlen_s" from C11 - Annex K forked from libsafec (Safe C Library).

Python decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.

A C++ console game by Nathanlie Ortega. Players guess a number between random bounds (100–200), gaining/losing points per guess. Features one bound display, dynamic bounds, menu-driven interface with enumerated types, name validation, point tracking, and game-over points run out or player exist.

Safeclib - Memory-safe C library providing secure string/memory operations with bounds checking, overflow prevention, and modular design. Available as static/shared libraries.

Using capability to implement memory bounds checking