Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with abstract-name-binding

A curated list of projects in awesome lists tagged with abstract-name-binding .

https://github.com/catseye/lariat

MIRROR of https://codeberg.org/catseye/Lariat : An abstract data type for lambda terms

abstract-data-type abstract-name-binding lambda-terms name-binding

Last synced: 15 Nov 2024