vtereshkov / umka-lang

Umka: a statically typed embeddable scripting language

open-quantum-safe / liboqs

C library for prototyping and experimenting with quantum-resistant cryptography

GaijinEntertainment / daScript

daslang - high-performance statically strong typed scripting language

DanielXMoore / Civet

A TypeScript superset that favors more types and less typing