Programming Languages I Lecture Notes
☆12Apr 29, 2026Updated last week
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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 2 months ago
- Simple script to generate dynamic wallpaper (light and dark) from two selected images.☆16Mar 22, 2026Updated last month
- purely functional scala github api client☆25Aug 25, 2025Updated 8 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 8 months ago
- Haskell bindings to binaryen.☆14Apr 27, 2021Updated 5 years ago
- A Datalog compiler and library☆19Jul 1, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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
- ☆25Apr 5, 2026Updated last month
- Auto wallpaper color scheme generator☆17Jun 25, 2022Updated 3 years ago
- Purescript compiler back-end for Lua☆60Oct 14, 2025Updated 6 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
- 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.
- Benchmark repository of polyglot effect handler examples☆35Aug 21, 2025Updated 8 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 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
- 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.
- Browser UI for REPtiLe - a shared REPL☆13May 14, 2019Updated 6 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 11 months ago
- 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