Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / slovnicki / pLam

An interpreter for learning and exploring pure λ-calculus

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/slovnicki%2FpLam

Stars: 443
Forks: 17
Open Issues: 4

License: mit
Language: Haskell
Repo Size: 1.1 MB
Dependencies: 9

Created: almost 7 years ago
Updated: about 1 month ago
Last pushed: about 3 years ago
Last synced: 21 days ago

Topics: church, church-encoding, computability, computability-theory, functional-programming, interpreter, lambda, lambda-calculus, language, logic-programming, numeral-systems, programming-language

Funding links: https://github.com/sponsors/slovnicki

Files
    Loading...
    Readme
    Loading...
    Dependencies