欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
W3C Open Source Software
来自开放百科 - 灰狐
（版本间的差异）
| 第23行： | 第23行： | ||
* [[Log Validator]] | * [[Log Validator]] | ||
* [[Mobile Web Best Practices checker]] | * [[Mobile Web Best Practices checker]] | ||
| − | * [[Markup | + | * [[Markup Validation Service]] |
* [[HTML Tidy]] | * [[HTML Tidy]] | ||
* XSV | * XSV | ||
2007年1月29日 (一) 10:54的版本
目录 |
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
分享您的观点
