Programming Languages I Lecture Notes
☆11Jul 14, 2025Updated 8 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:
- Continuations library for Java by Matthias Mann☆29Aug 2, 2021Updated 4 years ago
- A command line tool for Alessandro Warth's OMetaJS ( an object-oriented language for pattern matching )☆14Jul 31, 2011Updated 14 years ago
- Material-ish window decoration theme for KWin (please don't use it)☆12Sep 15, 2018Updated 7 years ago
- KWin script to prevent windows from overlapping☆17Jul 31, 2023Updated 2 years ago
- KDE File Manager☆18Aug 1, 2021Updated 4 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 script to raise all windows of an application as a group☆21Jul 18, 2024Updated last year
- A systems programming language with lexical effect handlers☆18Feb 24, 2026Updated last month
- Simple script to generate dynamic wallpaper (light and dark) from two selected images.☆15Mar 22, 2026Updated last week
- purely functional scala github api client☆25Aug 25, 2025Updated 7 months ago
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆17Jun 21, 2024Updated last year
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 7 months ago
- Haskell bindings to binaryen.☆14Apr 27, 2021Updated 4 years ago
- A Datalog compiler and library☆19Jul 1, 2021Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- wm-independent python script that implements mouse-follows-focus functionality and plays well with focus-follows-mouse☆15Aug 7, 2018Updated 7 years ago
- Free structures a la carte☆13Jun 26, 2017Updated 8 years ago
- Definition for Pineapple language and its compiler☆25Nov 9, 2018Updated 7 years ago
- ☆25Mar 22, 2026Updated last week
- Auto wallpaper color scheme generator☆17Jun 25, 2022Updated 3 years ago
- Purescript compiler back-end for Lua☆60Oct 14, 2025Updated 5 months ago
- Sketches for an automated HERMS setup☆17Oct 5, 2014Updated 11 years ago
- 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 7 months ago
- Implementation of the ideas in the Build Systems a la Carte paper☆15Jan 5, 2019Updated 7 years ago
- 💼 Manage application specific business logic in Laravel (inspired by ActiveInteraction)☆13Feb 18, 2024Updated 2 years ago
- Scala port of Paolo Capriotti's optparse-applicative library. fork from https://github.com/bmjames/scala-optparse-applicative☆16Updated this week
- A C project template with support for CMake and Unity test framework☆11Jun 12, 2018Updated 7 years ago
- A home for collaboration on construction of a multilingual FrameNet☆13Aug 25, 2017Updated 8 years ago
- ☆10Sep 5, 2018Updated 7 years ago
- Benchmarking algebraic effect handler implementations☆27Jun 6, 2021Updated 4 years ago
- MTL, but without the MT☆12Apr 20, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Browser UI for REPtiLe - a shared REPL☆13May 14, 2019Updated 6 years ago
- Example uses of monads☆43Jan 10, 2019Updated 7 years ago
- Core modules for a blazing fast markup combinator library☆24May 25, 2025Updated 10 months ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆58Jul 18, 2024Updated last year
- WS middleware server for REPtiLe - a shared REPL☆16Dec 13, 2018Updated 7 years ago
- ☆14Jul 25, 2024Updated last year
- ChatGPT Participates in a Computer Science Exam (2023)☆31Mar 21, 2023Updated 3 years ago