A formalization of geometry in Coq based on Tarski's axiom system
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Custom elements catalog for all kind of projects and frameworks.
🔥 NITRO: Nitrogen Web Framework RFC 6455
Returns an array with only the unique values from all given arrays using strict equality for comparisons.
Simple grid layout library for LÖVE engine (Love2D). Lua positive.