Programming Language Concepts Course (CEng 242) Lecture notes
☆39May 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for pllecturenotes
Users that are interested in pllecturenotes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Turkish fork of Semantle☆12Oct 3, 2024Updated last year
- Server code for Gradecoin, crypto playground. Suitable for undergrad security courses.☆16May 17, 2024Updated 2 years ago
- All homeworks that was made at METU Computer Engineering Programme.☆25Nov 28, 2022Updated 3 years ago
- All the homeworks, testers and projects done at METU-CENG☆20Apr 27, 2018Updated 8 years ago
- All the homeworks, studies and projects I've done at Metu-CENG☆73Jan 2, 2022Updated 4 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.
- A silly script that helps to download pdf files from https://masterthecase.com where all the pdf files are protected by a WordPress plugi…☆14Dec 20, 2023Updated 2 years ago
- channels.nix.gsc.io☆15May 24, 2023Updated 3 years ago
- A C++ compression program based on Huffman's lossless compression algorithm and decoder.☆99Mar 10, 2024Updated 2 years ago
- Writeups/exploit code for CTFs I've done☆13Aug 29, 2021Updated 4 years ago
- ☆23Jul 9, 2022Updated 3 years ago
- Learn You A Haskell dökümanı türkçe çevirisi☆22Nov 5, 2021Updated 4 years ago
- Pentesting Pratic Notes☆15Oct 30, 2021Updated 4 years ago
- A Software Requirements Specification document template in LaTeX respecting the latest IEEE standards.☆19Nov 1, 2024Updated last year
- Capture The Flag for practice and contest☆17Dec 9, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- labs for binary exploitation☆13Jul 16, 2019Updated 6 years ago
- ☆67Jan 25, 2024Updated 2 years ago
- [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time☆16Oct 24, 2009Updated 16 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- This is an event-driven asynchronous component model developed in Python. This library can be used to design and implement component-base…☆21Apr 30, 2024Updated 2 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- Userland API Unhooker Project☆111Apr 4, 2026Updated last month
- Enhances simple I18n backend so that it inflects translations using pattern interpolation☆32Jun 17, 2022Updated 3 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.
- V2G evaluation tool☆23May 7, 2025Updated last year
- Moved to Codeberg☆10Jan 10, 2026Updated 4 months ago
- Experiments with syntax and symbols☆15Mar 5, 2019Updated 7 years ago
- Metamath logic game☆10Apr 21, 2026Updated last month
- This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.☆10Dec 27, 2023Updated 2 years ago
- An abstract tree data-structure to represent windows as leaf nodes.☆12Dec 25, 2022Updated 3 years ago
- ☆23Nov 18, 2021Updated 4 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 2 years ago
- an alternative approach to pattern matching☆13Jul 18, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Hopefully a lexer-generator that doesn't fucking suck☆10Dec 12, 2022Updated 3 years ago
- Solutions to the Incredible Proof Machine http://incredible.pm/☆10Apr 21, 2020Updated 6 years ago
- Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using …☆13Feb 20, 2024Updated 2 years ago
- Firmware Analysis Tool☆26May 20, 2025Updated last year
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated 2 years ago
- Original Ruby 2.0 parser ported to pure JavaScript, produces AST☆16Jun 26, 2024Updated last year