IMDEA Software Institute
imdea-software
Madrid Institute for Advanced Studies in Software Development Technologies
Campus Montegancedo s/n 28223, Pozuelo de Alarcon, Madrid, Spain
Markus Zimmermann
zimmski
Autonomously Generating Your Unit Tests as Managing Director / CTO / Founder at Symflower
Hopefully going to having more time for open source projects again.
Symflower Austria
The Rocq Prover Archive
rocq-archive
This organization is used to archive unmaintained projects related to the Coq / Rocq Prover ecosystem, including, but not limited to, former "Coq contribs".
Slava Egorov
mraleph
compiling compilers @google: uber-TL for @dart-lang programming language
@Google Aarhus, Denmark
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken
LuaFun
luafun
Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind
Bob Nystrom
munificent
Programming language developer, ex-game developer, UI nerd, author of "Game Programming Patterns" and "Crafting Interpreters".
@google, on @dart-lang Seattle, WA
Kaspersky Lab
KasperskyLab
Kaspersky is the world’s largest privately held vendor of Internet security solutions for businesses and consumers.
Aleksandar Milicevic
aleksandarmilicevic
Founding Engineer at Cubist. Ex principal software engineer at Microsoft. MIT PhD alumnus.
@cubist-dev San Diego, CA
Rocq-community
rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Historical Source
historicalsource
A collection of historical source files, for education and perusal.