Zig Programming Language
ziglang
Zig is a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
United States of America
PureScript
purescript
A small strongly, statically typed language which compiles to Javascript
The Nim programming language
nim-lang
Nim is a systems programming language with a focus on efficiency, expressiveness, and elegance.
Agda Github Community
agda
See https://github.com/agda/organization/wiki for an overview of the repositories in this organization.
Andrew Kelley
andrewrk
Lead developer & president of Zig Software Foundation
@ziglang Portland, Oregon
David Merrick
davidmerrick
"All models are wrong, but some are useful." --George E. P. Box
@VEVO Portland, OR