Programming Languages I Lecture Notes
☆12Apr 29, 2026Updated last month
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☆30Aug 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 3 months ago
- Simple script to generate dynamic wallpaper (light and dark) from two selected images.☆16Mar 22, 2026Updated 2 months ago
- purely functional scala github api client☆25Aug 25, 2025Updated 9 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 9 months ago
- Haskell bindings to binaryen.☆14Apr 27, 2021Updated 5 years ago
- A Datalog compiler and library☆19Jul 1, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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
- ☆25May 22, 2026Updated last week
- Auto wallpaper color scheme generator☆16Jun 25, 2022Updated 3 years ago
- Purescript compiler back-end for Lua☆60Oct 14, 2025Updated 7 months ago
- Sketches for an automated HERMS setup☆18Oct 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Benchmark repository of polyglot effect handler examples☆36Aug 21, 2025Updated 9 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☆16May 22, 2026Updated last week
- A home for collaboration on construction of a multilingual FrameNet☆13Aug 25, 2017Updated 8 years ago
- A C project template with support for CMake and Unity test framework☆11Jun 12, 2018Updated 7 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 last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Browser UI for REPtiLe - a shared REPL☆13May 14, 2019Updated 7 years ago
- Example uses of monads☆42Jan 10, 2019Updated 7 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆59Jul 18, 2024Updated last year
- Core modules for a blazing fast markup combinator library☆24May 25, 2025Updated 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