shriram / plai-publicView external linksLinks
Repository for (for now) filing bug reports about PLAI.
☆14Jul 5, 2025Updated 7 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
- A Flutter plugin intended to achieve native iOS interactively dismissible keyboard☆14Jan 6, 2026Updated last month
- SIGPLAN website☆13Updated this week
- POSTECH: Compiler Construction (Spring 2022)☆10Mar 10, 2023Updated 2 years ago
- A detailed guide to setting up a QEMU/KVM for gaming.☆13Nov 24, 2023Updated 2 years ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated 11 months ago
- Python beautifier tcp server based on autopep8, yapf, isort☆10Jun 11, 2021Updated 4 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- SineKAN: Kolmogorov-Arnold Networks Using Sinusoidal Activation Functions☆15Dec 19, 2024Updated last year
- ☆12Dec 16, 2024Updated last year
- Collection of programming style guides used in Serokell☆12Jul 4, 2022Updated 3 years ago
- ☆11Mar 28, 2025Updated 10 months ago
- A testing ground for building new features/functionality into our app☆12Jan 5, 2023Updated 3 years ago
- NuGet package to help you cross-compile Native AOT to different OSes/architectures☆14Oct 18, 2025Updated 3 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- go编译器编译过程,主要学习go语法分析,AST,SSA分析。以便更好的理解Go☆12Feb 5, 2022Updated 4 years ago
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago
- Work for Crafting a Compiler by Fischer, Cytron & LeBlanc.☆11Dec 1, 2019Updated 6 years ago
- Robust Reinforcement Learning Benchmark☆12Sep 22, 2024Updated last year
- Gemtree Peter is a visual programming tool for Windows 95 and later. Peter is mainly focused on children, but also on professional use.☆14May 27, 2022Updated 3 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 2 months ago
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated last month
- 个人网站go语言实现（使用gin框架）☆13Feb 20, 2019Updated 6 years ago
- A broken problem☆22Jan 17, 2026Updated 3 weeks ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆11Jul 9, 2025Updated 7 months ago
- An English translation of a problem course ("Trivium") in undergraduate maths☆10Jan 25, 2023Updated 3 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- 个人学习中总结的 Rust 思维导图☆10Feb 2, 2024Updated 2 years ago
- A lightweight tunnel proxy, just a toy☆10Apr 6, 2015Updated 10 years ago
- Index your shell history in a full-text search database☆13Aug 23, 2024Updated last year
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆10Jul 13, 2025Updated 7 months ago
- TransMix: Transformer-based Value Function Decomposition for Cooperative Multi-agent Reinforcement Learning☆11Oct 18, 2022Updated 3 years ago
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year