欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
W3C Open Source Software
来自开放百科 - 灰狐
(版本间的差异)
第37行: | 第37行: | ||
http://www.w3.org/Status | http://www.w3.org/Status | ||
+ | |||
+ | [[Category:W3C]] |
2010年8月22日 (日) 03:38的最后版本
目录 |
[编辑] 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
分享您的观点