9th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design (FARM) 27 August, 2021 functional-art.org/2021/

Logical Frameworks and Meta-Languages: Theory and Practice, July 16, 2021 Pittsburgh, Pennsylvania, US lfmtp.org/workshops/2021/

ActivityWatch is an app that automatically tracks how you spend time on your devices activitywatch.net/

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

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!