Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by plclub
A curated list of projects in awesome lists by plclub .
https://github.com/plclub/hs-to-coq
Convert Haskell source code to Coq source code.
Last synced: 10 Oct 2024
https://github.com/plclub/metalib
The Penn Locally Nameless Metatheory Library
Last synced: 06 Nov 2024
https://github.com/plclub/cis670-16fa
Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
Last synced: 06 Nov 2024
https://github.com/plclub/lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Last synced: 06 Nov 2024
https://github.com/plclub/plclub-web
A Hakyll [plclub] website (https://www.cis.upenn.edu/~plclub/)
Last synced: 06 Nov 2024
https://github.com/plclub/cbpv-effects-coeffects
Formalization of CBPV extended with effect and coeffect tracking
Last synced: 06 Nov 2024
https://github.com/plclub/cbpv-in-agda
Formalization of Call-By-Push-Value, augmented with effect tracking
Last synced: 06 Nov 2024
https://github.com/plclub/plclub-web-old
Old PLClub website git mirror. Retired Jan 15 2020.
Last synced: 06 Nov 2024