Show newer

Conformist schema definition and validation to bridge the gap between runtime types and static types

OFLAT web-based platform to support courses on Formal Languages and Automata Theory

HLPP 2021: International Symposium on High-Level Parallel Programming and Applications July 12-13, 2021

Burly.el provides tools to save and restore frame and window configurations in

"There are two hard things in computer science: cache invalidation, naming things, and off-by-one errors." ~ Phil Karlton

Logical Frameworks and Meta-Languages: Theory and Practice July 16, 2021 Pittsburgh, Pennsylvania, US

"The more I read, the more I acquire, the more certain I am that I know nothing." ~ Voltaire

Show older

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!