欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
W3C Open Source Software
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
==Server-side== | ==Server-side== | ||
| − | * Jigsaw | + | * [[Jigsaw]] |
* bind | * bind | ||
* ETA | * ETA | ||
==Web agents, Parsers, Viewers== | ==Web agents, Parsers, Viewers== | ||
| − | * Amaya | + | * [[Amaya]] |
* CWM | * CWM | ||
| − | * IsaViz | + | * [[IsaViz]] |
| − | * Metalog | + | * [[Metalog]] |
| − | * WebBot | + | * [[WebBot]] |
| − | * WebCon | + | * [[WebCon]] |
| − | * Web Commander | + | * [[Web Commander]] |
| − | * Winie | + | * [[Winie]] |
| − | * Sirpac | + | * [[Sirpac]] |
==Authoring tools== | ==Authoring tools== | ||
| − | * Amaya | + | * [[Amaya]] |
| − | * HTML Slidy | + | * [[HTML Slidy]] |
| − | * slidemaker | + | * [[slidemaker]] |
* Validation, lint | * Validation, lint | ||
| − | * Charlint | + | * [[Charlint]] |
| − | * CSS Validator | + | * [[CSS Validator]] |
| − | * Link Checker | + | * [[Link Checker]] |
| − | * Log Validator | + | * [[Log Validator]] |
| − | * Mobile Web Best Practices checker | + | * [[Mobile Web Best Practices checker]] |
| − | * Markup Validator | + | * [[Markup Validator]] |
| − | * HTML Tidy | + | * [[HTML Tidy]] |
* XSV | * XSV | ||
==Manipulation, Libraries== | ==Manipulation, Libraries== | ||
| − | * DTD2Schema | + | * [[DTD2Schema]] |
| − | * Ical2html | + | * [[Ical2html]] |
| − | * HTML-XML-utils | + | * [[HTML-XML-utils]] |
| − | * Libxml | + | * [[Libxml]] |
| − | * | + | * [[Libwww]] |
| − | * RDFPic | + | * [[RDFPic]] |
http://www.w3.org/Status | http://www.w3.org/Status | ||
2007年1月29日 (一) 10:33的版本
目录 |
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 Validator
- HTML Tidy
- XSV
Manipulation, Libraries
分享您的观点
