Programming Languages I Lecture Notes
☆13Jul 1, 2026Updated 2 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 week
- A command line tool for Alessandro Warth's OMetaJS ( an object-oriented language for pattern matching )☆14Jul 31, 2011Updated 15 years ago
- 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- KDE File Manager☆18Aug 1, 2021Updated 5 years ago
- KWin script to raise all windows of an application as a group☆22Jul 18, 2024Updated 2 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
- 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 2 months ago
- 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
- 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.
- Definition for Pineapple language and its compiler☆25Nov 9, 2018Updated 7 years ago
- ☆26Sep 20, 2026Updated last week
- Free structures a la carte☆13Jun 26, 2017Updated 9 years ago
- Auto wallpaper color scheme generator☆16Jun 25, 2022Updated 4 years ago
- KWin scripts to control window geometry via keyboard shortcuts☆20Mar 22, 2024Updated 2 years ago
- Purescript compiler back-end for Lua☆62Jul 30, 2026Updated last month
- Sketches for an automated HERMS setup☆18Oct 5, 2014Updated 11 years ago
- A simple bidirectional type checker☆18Feb 27, 2019Updated 7 years ago
- 💼 Manage application specific business logic in Laravel (inspired by ActiveInteraction)☆13Feb 18, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A systems programming language with lexical effect handlers☆20Sep 20, 2026Updated last week
- 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☆16Sep 14, 2026Updated last week
- 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
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆59Jul 18, 2024Updated 2 years ago
- ChatGPT Participates in a Computer Science Exam (2023)☆31Mar 21, 2023Updated 3 years ago
- MTL, but without the MT☆12Apr 20, 2025Updated last year
- 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.
- Core modules for a blazing fast markup combinator library☆24May 25, 2025Updated last year
- A C project template with support for CMake and Unity test framework☆11Jun 12, 2018Updated 8 years ago
- Example uses of monads☆42Jan 10, 2019Updated 7 years ago
- Building a compiler to WASM step-by-step☆16Mar 23, 2025Updated last year
- ☆15Jul 25, 2024Updated 2 years ago
- A toy symbolic execution engine, supporting the blog article ...☆18Sep 8, 2021Updated 5 years ago
- simply-scheme language bindings for Racket☆16Feb 23, 2022Updated 4 years ago