https://github.com/taimoorzaeem/pl-stuff

Programming Language Theory & Research
https://github.com/taimoorzaeem/pl-stuff

dependent-types functional-programming haskell logic-programming programming-languages racket scheme theorem-proving

Last synced: 9 months ago
JSON representation

Programming Language Theory & Research

• Host: GitHub
• URL: https://github.com/taimoorzaeem/pl-stuff
• Owner: taimoorzaeem
• License: other
• Created: 2022-08-07T16:05:35.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2025-07-05T05:57:58.000Z (9 months ago)
• Last Synced: 2025-07-05T06:35:01.498Z (9 months ago)
• Topics: dependent-types, functional-programming, haskell, logic-programming, programming-languages, racket, scheme, theorem-proving
• Language: Haskell
• Homepage:
• Size: 91.8 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# pl-stuff

This repository contains programs and write-ups related to programming language theory and research.