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 header only implementation of "strnlen_s" from C11 - Annex K forked from libsafec (Safe C Library).

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

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