欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/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
分享您的观点