SSealbook
Sealbook / Open source / Programming languages & runtimes

plfa/plfa.github.io

An introduction to programming language theory in Agda

bookprogramming-languagesproof-assistant
GitHub ↗Website ↗

License & maintenance

Last code push 7 days ago.

Similar projects

RepositoryStarsLanguageLicenseActivity
1chai2010/go-ast-book:books: 《Go语言定制指南》(原名：Go语法树入门/开源免费图书/Go语言进阶/掌握抽象语法树/Go语言AST)★ 5.5kGo—Stale
2steshaw/pltProgramming Language Theory λΠ★ 5.4kCSS—Stale
3NVIDIA/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.7kRustApache-2.0Active
4FStarLang/FStarA Proof-oriented Programming Language★ 3.1kF*Apache-2.0Active
5agda/agdaAgda is a dependently typed programming language / interactive theorem prover.★ 2.9kHaskellOtherActive
6sidristij/dotnetbook.NET Platform Architecture book (English, Chinese, Russian)★ 2.5kC#OtherStale
7fenixsoft/jvm_book《深入理解Java虚拟机（第3版）》样例代码&勘误★ 1.4kJava—Stale
8golang/goThe Go programming language★ 139.3kGoBSD-3-ClauseActive