Show newer

Conformist schema definition and validation to bridge the gap between runtime types and static types github.com/oxidizing/conformis

OFLAT web-based platform to support courses on Formal Languages and Automata Theory ctp.di.fct.unl.pt/FACTOR/OFLAT

HLPP 2021: International Symposium on High-Level Parallel Programming and Applications July 12-13, 2021 hlpp2021.github.io/

Burly.el provides tools to save and restore frame and window configurations in github.com/alphapapa/burly.el

"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 lfmtp.org/workshops/2021/

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

Show older
Mastodon

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!