The compiler for Teal, a typed dialect of Lua

A simple scripting language

The fastest feature-rich C++11/14/17/20/23 single-header testing framework

Modern accelerated GUI

Synapse: Matrix homeserver written in Python/Twisted.

Support library for manipulating Web protocols.

A curated list of awesome Erlang libraries, resources and shiny things.

Erlang/OTP

⭐️ Companies that don't have a broken hiring process

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

The original unitystation