Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/veyselusta/programming-language-research
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
https://github.com/veyselusta/programming-language-research
compilers formal-methods functional-programming interpreters logic programming-languages type-theory
Last synced: about 18 hours ago
JSON representation
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
- Host: GitHub
- URL: https://github.com/veyselusta/programming-language-research
- Owner: veyselusta
- License: mit
- Created: 2023-03-16T13:49:31.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2024-08-30T15:59:04.000Z (4 months ago)
- Last Synced: 2024-09-01T21:05:42.034Z (4 months ago)
- Topics: compilers, formal-methods, functional-programming, interpreters, logic, programming-languages, type-theory
- Homepage:
- Size: 38.1 KB
- Stars: 109
- Watchers: 2
- Forks: 5
- Open Issues: 0