plfa/plfa.github.io
An introduction to programming language theory in Agda
Licencia y mantenimiento
Último cambio de código hace 7 días.
Proyectos similares
| Repositorio | Estrellas | Actividad | |
|---|---|---|---|
| 1 |  chai2010/go-ast-book:books: 《Go语言定制指南》(原名：Go语法树入门/开源免费图书/Go语言进阶/掌握抽象语法树/Go语言AST) | ★ 5.5k | Sin cambios |
| 2 |  steshaw/pltProgramming Language Theory λΠ | ★ 5.4k | Sin cambios |
| 3 |  NVIDIA/cuda-rustNVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust | ★ 3.7k | Activo |
| 4 |  FStarLang/FStarA Proof-oriented Programming Language | ★ 3.1k | Activo |
| 5 |  agda/agdaAgda is a dependently typed programming language / interactive theorem prover. | ★ 2.9k | Activo |
| 6 |  sidristij/dotnetbook.NET Platform Architecture book (English, Chinese, Russian) | ★ 2.5k | Sin cambios |
| 7 |  fenixsoft/jvm_book《深入理解Java虚拟机（第3版）》样例代码&勘误 | ★ 1.4k | Sin cambios |
| 8 |  golang/goThe Go programming language | ★ 139.3k | Activo |