Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.
☆14Jul 6, 2018Updated 7 years ago
Alternatives and similar repositories for PFPL
Users that are interested in PFPL are comparing it to the libraries listed below
Sorting:
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- Lean 形式化数学☆17Dec 20, 2025Updated 2 months ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆25Sep 16, 2022Updated 3 years ago
- MINIX 3 内核源码 加入中文注释☆20Jan 18, 2017Updated 9 years ago
- Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。☆13Aug 28, 2024Updated last year
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated 10 months ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Lean 函数式编程☆43Dec 17, 2025Updated 2 months ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- ☆10Nov 23, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- SIGPLAN website☆13Updated this week
- Coq集合论中文教程☆46Dec 17, 2021Updated 4 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago
- Dumb downloader that scrapes the web☆11Sep 3, 2024Updated last year
- 个人网站go语言实现（使用gin框架）☆13Feb 20, 2019Updated 7 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- 从Docker官方Ubuntu镜像，定制中国地区使用的对应镜像。☆13Jan 13, 2021Updated 5 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- go编译器编译过程,主要学习go语法分析,AST,SSA分析。以便更好的理解Go☆12Feb 5, 2022Updated 4 years ago
- 个人学习中总结的 Rust 思维导图☆10Feb 2, 2024Updated 2 years ago
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆11Dec 30, 2025Updated 2 months ago
- ☆17Nov 29, 2025Updated 3 months ago
- ☆17Nov 21, 2020Updated 5 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- Work for Crafting a Compiler by Fischer, Cytron & LeBlanc.☆11Dec 1, 2019Updated 6 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 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
- A short intro to Rust course, based loosely off the book.☆15Jan 29, 2026Updated last month
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- 基于分形理论中的参数L-系统，使用OpenGL与VC++实现了真实度较高的三维树木，并且可以通过调整参数进行树木的变换。☆12Jun 5, 2018Updated 7 years ago
- 华为集合通信性能测试☆15May 27, 2024Updated last year
- A flexible utility for converting tensor precision in PyTorch models and safetensors files, enabling efficient deployment across various …☆11Aug 24, 2023Updated 2 years ago
- QR code 2005 encoder in Emacs Lisp☆10Feb 7, 2016Updated 10 years ago