Repository navigation
bounds-checking
- Website
- Wikipedia
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.
Write classes with lots of similar simple defensive properties without the boilerplate
Quick and dirty C# code to evaluate performance of normal array access vs. unsafe pointer access.
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
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
Safeclib - Memory-safe C library providing secure string/memory operations with bounds checking, overflow prevention, and modular design. Available as static/shared libraries.
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.
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 20 and native binaries. Features include range‑driven auto‑vectorization, scope‑based memory (no nulls, no OOB, no GC), and concurrency by construction