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

• UpdatedMar 7, 2025
• Python

safec libc extension with all C11 Annex K functions

• UpdatedDec 29, 2024
• C

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

• UpdatedMar 26, 2022
• C++

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

• UpdatedDec 18, 2024
• C++

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

• UpdatedDec 19, 2018
• Python

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

• UpdatedNov 2, 2024
• Rust

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

• UpdatedSep 14, 2021
• Python

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

• UpdatedMar 23, 2024
• C

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

• UpdatedAug 10, 2017
• Python

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

• UpdatedJan 15, 2017
• C#

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

• UpdatedMar 5, 2015
• C

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

• UpdatedJul 6, 2023
• C#

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

• UpdatedOct 28, 2023
• Python

Using capability to implement memory bounds checking

• UpdatedFeb 18, 2025