PurduePL / purduepl.github.io
A blog of Programming Languages Group @Purdue
☆10Updated last week
Related projects ⓘ
Alternatives and complementary repositories for purduepl.github.io
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- ☆15Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 4 months ago
- Cerberus C semantics☆53Updated this week
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 3 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆43Updated 4 months ago
- EGraphs in OCaml☆60Updated 9 months ago
- ☆37Updated 6 months ago
- ☆15Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- ☆51Updated this week
- Python3 auto-active verification library (migrated to an Intel project)☆24Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆56Updated last week
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆34Updated 3 months ago
- The Next Generation of Compositional Programming☆22Updated this week
- PL conference deadline countdowns☆52Updated last week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- embedding MLIR in LEAN☆47Updated 4 months ago
- library learning w egraphs☆17Updated last year
- egraph on top of sqlite☆12Updated 2 years ago
- Compositional Verification of Composite Byzantine Protocols☆11Updated 2 months ago
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 6 years ago
- Coq library for tactics, basic definitions, sets, maps☆41Updated last month
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆24Updated last year
- An awesome list of e-graph resources☆100Updated 3 weeks ago
- MoCHi: Model Checker for Higher-Order Programs☆41Updated last year
- Python bindings for egg☆47Updated last year
- Program Synthesis☆13Updated 3 years ago