Declarative parameters for robust Python classes and a rich API for reactive programming

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.

Pluto is a compiled language that aims for the simplicity, readability and expressiveness of scripting languages with the safety and performance of C/C++, Go. A Go front‑end lowers .pt/.spt to LLVM IR and native binaries. Features include range‑driven auto‑vectorization, scope‑based memory (no nulls, no OOB, no GC), and concurrency by construction.

LightBoundsError: a replacement for BoundsError friendlier to compiler optimizations

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).

Julia package for non-resizable vectors: competitor to Memory and FixedSizeVector

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

Using capability to implement memory bounds checking

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.