Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by plt-amy
A curated list of projects in awesome lists by plt-amy .
https://github.com/plt-amy/agda-search
Search for identifiers in Agda codebases
Last synced: 20 Nov 2024
https://github.com/plt-amy/dep
A very small implementation of the Calculus of Constructions for experimentation purposes
Last synced: 20 Nov 2024