aardappel / goose

The Goose Programming Language

ShiftLeftSecurity / codepropertygraph

Code Property Graph: specification, query language, and utilities

AeneasVerif / aeneas

A verification toolchain for Rust programs

if-not-nil / revo

a dynamic language for the joy of programming