欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
W3C Open Source Software
来自开放百科 - 灰狐
目录 |
Server-side
- Jigsaw
- bind
- ETA
Web agents, Parsers, Viewers
Authoring tools
- Amaya
- HTML Slidy
- slidemaker
- Validation, lint
- Charlint
- CSS Validator
- Link Checker
- Log Validator
- Mobile Web Best Practices checker
- Markup Validation Service
- HTML Tidy
- XSV
Manipulation, Libraries
分享您的观点
