Programming Languages I Lecture Notes
☆13Jul 1, 2026Updated 3 months ago
Alternatives and similar repositories for pl1-lecture-notes
Users that are interested in pl1-lecture-notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- operating system but in effekt (poc)☆18Sep 16, 2026Updated last month
- Haskell x Swift interoperability libraries and tools☆10Jul 25, 2025Updated last year
- Continuations library for Java by Matthias Mann☆30Aug 2, 2021Updated 5 years ago
- Material-ish window decoration theme for KWin (please don't use it)☆12Sep 15, 2018Updated 8 years ago
- KWin script to prevent windows from overlapping☆17Jul 31, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- KWin script to raise all windows of an application as a group☆22Jul 18, 2024Updated 2 years ago
- KDE File Manager☆18Aug 1, 2021Updated 5 years ago
- A command line tool for Alessandro Warth's OMetaJS ( an object-oriented language for pattern matching )☆14Jul 31, 2011Updated 15 years ago
- Notes on higher-order typed compilation. Probably wrong☆24Oct 20, 2022Updated 3 years ago
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆17Jun 21, 2024Updated 2 years ago
- Simple script to generate dynamic wallpaper (light and dark) from two selected images.☆17Mar 22, 2026Updated 6 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 9 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Jul 5, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Haskell bindings to binaryen.☆14Apr 27, 2021Updated 5 years ago
- A Datalog compiler and library☆20Jul 1, 2021Updated 5 years ago
- wm-independent python script that implements mouse-follows-focus functionality and plays well with focus-follows-mouse☆15Aug 7, 2018Updated 8 years ago
- Definition for Pineapple language and its compiler☆25Nov 9, 2018Updated 7 years ago
- Free structures a la carte☆13Jun 26, 2017Updated 9 years ago
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated last year
- Auto wallpaper color scheme generator☆16Jun 25, 2022Updated 4 years ago
- ☆27Updated this week
- Sketches for an automated HERMS setup☆18Oct 5, 2014Updated 12 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- KWin scripts to control window geometry via keyboard shortcuts☆20Mar 22, 2024Updated 2 years ago
- A simple bidirectional type checker☆18Feb 27, 2019Updated 7 years ago
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- Purescript compiler back-end for Lua☆64Jul 30, 2026Updated 2 months ago
- 💼 Manage application specific business logic in Laravel (inspired by ActiveInteraction)☆13Feb 18, 2024Updated 2 years ago
- A systems programming language with lexical effect handlers☆20Updated this week
- A PHP/Laravel package for coupon and discount☆12May 7, 2024Updated 2 years ago
- Implementation of the ideas in the Build Systems a la Carte paper☆15Jan 5, 2019Updated 7 years ago
- Scala port of Paolo Capriotti's optparse-applicative library. fork from https://github.com/bmjames/scala-optparse-applicative☆16Oct 2, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆11Dec 12, 2021Updated 4 years ago
- Benchmarking algebraic effect handler implementations☆28Jun 6, 2021Updated 5 years ago
- Browser UI for REPtiLe - a shared REPL☆13May 14, 2019Updated 7 years ago
- ☆10Sep 5, 2018Updated 8 years ago
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated 2 weeks ago
- ChatGPT Participates in a Computer Science Exam (2023)☆31Mar 21, 2023Updated 3 years ago
- PL Reading Group Website☆16Jan 12, 2026Updated 9 months ago