https://github.com/woodrush/lambda-calculus-devkit

A collection of lambda calculus interpreters and development tools
https://github.com/woodrush/lambda-calculus-devkit

lambda-calculus

Last synced: 16 days ago
JSON representation

A collection of lambda calculus interpreters and development tools

• Host: GitHub
• URL: https://github.com/woodrush/lambda-calculus-devkit
• Owner: woodrush
• License: mit
• Created: 2022-09-26T00:39:25.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2022-10-09T20:29:05.000Z (over 3 years ago)
• Last Synced: 2025-01-27T12:24:08.466Z (12 months ago)
• Topics: lambda-calculus
• Language: Makefile
• Homepage:
• Size: 421 KB
• Stars: 14
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project