Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by plfa

A curated list of projects in awesome lists by plfa .

https://github.com/plfa/plfa.github.io

An introduction to programming language theory in Agda

book programming-languages proof-assistant

Last synced: 31 Oct 2024

https://github.com/plfa/plfl

Programming Language Foundations in Lean

Last synced: 13 Nov 2024