Repository for (for now) filing bug reports about PLAI.
☆14Jul 5, 2025Updated 8 months ago
Alternatives and similar repositories for plai-public
Users that are interested in plai-public are comparing it to the libraries listed below
Sorting:
- CS410 "Advanced Functional Programming"☆30Updated this week
- Compiler for a very restricted subset of OCaml☆25Jan 4, 2016Updated 10 years ago
- PAWSTECH kitter garden diree☆13May 12, 2025Updated 9 months ago
- Example of CarouselView with Indicators☆11Jan 9, 2017Updated 9 years ago
- ☆12Dec 16, 2024Updated last year
- POSTECH: Compiler Construction (Spring 2022)☆11Mar 10, 2023Updated 2 years ago
- SIGPLAN website☆13Updated this week
- A Flutter plugin intended to achieve native iOS interactively dismissible keyboard☆15Jan 6, 2026Updated 2 months ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- A detailed guide to setting up a QEMU/KVM for gaming.☆13Nov 24, 2023Updated 2 years ago
- SineKAN: Kolmogorov-Arnold Networks Using Sinusoidal Activation Functions☆15Dec 19, 2024Updated last year
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- App Store Webhook Proxy for Slack & MS Teams☆23Oct 27, 2025Updated 4 months ago
- Python beautifier tcp server based on autopep8, yapf, isort☆10Jun 11, 2021Updated 4 years ago
- TransMix: Transformer-based Value Function Decomposition for Cooperative Multi-agent Reinforcement Learning☆11Oct 18, 2022Updated 3 years ago
- 个人网站go语言实现（使用gin框架）☆13Feb 20, 2019Updated 7 years ago
- An English translation of a problem course ("Trivium") in undergraduate maths☆10Jan 25, 2023Updated 3 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Advanced_Data_Integration_Project☆11Jul 31, 2018Updated 7 years ago
- A broken problem☆22Feb 28, 2026Updated last week
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆11Jul 13, 2025Updated 7 months ago
- Collection of programming style guides used in Serokell☆12Jul 4, 2022Updated 3 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- Ansible playbook to provide decent desktop experience☆14Mar 29, 2025Updated 11 months ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆12Jul 9, 2025Updated 8 months ago
- go编译器编译过程,主要学习go语法分析,AST,SSA分析。以便更好的理解Go☆12Feb 5, 2022Updated 4 years ago
- A lightweight tunnel proxy, just a toy☆10Apr 6, 2015Updated 10 years ago
- Work for Crafting a Compiler by Fischer, Cytron & LeBlanc.☆11Dec 1, 2019Updated 6 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Moonli is a Julia/Python-ish syntax layer that transpiles to Common Lisp☆19Feb 28, 2026Updated last week
- NuGet package to help you cross-compile Native AOT to different OSes/architectures☆14Oct 18, 2025Updated 4 months ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- Web site for cs5010 Fall 2016☆11Dec 7, 2016Updated 9 years ago
- Distrusts GPKI Root CA Certificate because their security and certificate management is bad as F***☆10Feb 17, 2019Updated 7 years ago
- Dumb downloader that scrapes the web☆11Sep 3, 2024Updated last year
- A toy browser written in C++.☆10Jan 9, 2021Updated 5 years ago
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago