☆73Feb 12, 2014Updated 12 years ago
Alternatives and similar repositories for popl2014-papers
Users that are interested in popl2014-papers are comparing it to the libraries listed below
Sorting:
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Nov 1, 2016Updated 9 years ago
- Z3 webpage repository☆10Feb 19, 2026Updated 2 weeks ago
- Accepted papers for PLDI 2014☆15May 19, 2016Updated 9 years ago
- Accepted papers for POPL 2015☆66May 23, 2016Updated 9 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- Lambda syntax for Scala EDSLs☆27Sep 18, 2023Updated 2 years ago
- CS410 "Advanced Functional Programming"☆30Updated this week
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- Link to preprints for POPL'17 and co-located events☆100Mar 15, 2017Updated 8 years ago
- Link to preprints for ICFP'17 and colocated events☆137Jun 19, 2018Updated 7 years ago
- ICFP 2019 preprints/papers☆44Jul 31, 2019Updated 6 years ago
- A clone of TaskRabbit where you can hire taskers for home projects.☆12Jan 19, 2023Updated 3 years ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- CS6868: Concurrent Programming☆32Updated this week
- SIGPLAN website☆13Updated this week
- Check data integrity for your ActiveRecord models☆11Jul 19, 2022Updated 3 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Jul 23, 2013Updated 12 years ago
- Video Recording (Like Tiktok)☆11Jan 4, 2023Updated 3 years ago
- Hadoop interface for Xiaomi Open Storage☆13Apr 10, 2023Updated 2 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Oct 25, 2022Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- A short intro to Rust course, based loosely off the book.☆15Jan 29, 2026Updated last month
- 个人网站go语言实现（使用gin框架）☆13Feb 20, 2019Updated 7 years ago
- JavaScript and TypeScript bindings for the Haiku Operating System☆11Oct 8, 2019Updated 6 years ago
- Strace: history, usage examples, example syscall tracer implementation☆10Mar 24, 2020Updated 5 years ago
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago
- Generic Little System☆17May 5, 2024Updated last year
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- An SWC plugin to add displayName to React components☆13Feb 15, 2026Updated 3 weeks ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 8 months ago
- Cocktail Toolbox for compiler construction - generated source code in C☆12Jan 9, 2025Updated last year
- Learning playground for Argus-SAF☆10Dec 27, 2018Updated 7 years ago
- Rails App inspired by Uncle Bob☆34Oct 20, 2022Updated 3 years ago
- A toy http server written in C using libdill coroutines. Will probably get you owned if you run in prod.☆11May 16, 2017Updated 8 years ago
- ☆12Apr 18, 2023Updated 2 years ago
- A toy browser written in C++.☆10Jan 9, 2021Updated 5 years ago