Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czech Republic.
☆27Nov 30, 2025Updated 3 months ago
Alternatives and similar repositories for NPRG014
Users that are interested in NPRG014 are comparing it to the libraries listed below
Sorting:
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- #SharingIsCaring #CaringIsSharing☆89Jan 8, 2025Updated last year
- A slightly improved variant of the official thesis sample☆15Apr 18, 2023Updated 2 years ago
- OCaml reading group at IIT Madras☆25Sep 20, 2025Updated 5 months ago
- NPFL129 repository☆44Jan 9, 2026Updated last month
- ☆27Jun 24, 2022Updated 3 years ago
- ☆51Jan 30, 2026Updated last month
- ☆13Jul 22, 2022Updated 3 years ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- Standards-defying functional-programming macros for the C preprocessor☆52Nov 12, 2014Updated 11 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆11Jan 18, 2024Updated 2 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- ☆12Dec 16, 2024Updated last year
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- ☆13Sep 5, 2024Updated last year
- Repository containing examples of usage of pcb-rs☆10Apr 8, 2022Updated 3 years ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Updated this week
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- Cpp Course☆12Dec 5, 2025Updated 2 months ago
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated last month
- ☆14Dec 31, 2025Updated 2 months ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 7 months ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- As I work thought the book "Practical Binary Analysis" by Dennis Andriesse, https://practicalbinaryanalysis.com/ I try to make editions f…☆11Sep 28, 2021Updated 4 years ago
- 非雇员OD管理复盘与面试改进思考☆16Jul 2, 2025Updated 8 months ago
- PolyLib official git.☆11Jan 27, 2026Updated last month
- Portable Coroutine Library (unofficial fork -- original by Davide Libenzi http://www.xmailserver.org/libpcl.html )☆10Feb 28, 2011Updated 15 years ago
- Assignments of CSCE-642: Deep Reinforcement Learning offered at Texas A&M University.☆10Aug 31, 2025Updated 6 months ago
- My solutions to problems in Programming Pearls (Jon Bentley)☆12Apr 16, 2020Updated 5 years ago
- A broken problem☆22Jan 17, 2026Updated last month