Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
The compilation target that functional programmers always wanted.
A proof checker and assistant for Sequent calculi
Programming language designed as an experiment to explore mutation and aliasing control
The Disco Discus Compiler
A statically typed lisp, without a GC, for real-time applications.
🐴 Pony is an open-source, actor-model, capabilities-secure, high performance programming language
Seeing something unexpected? Take a look at the
GitHub profile guide.