欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
W3C Open Source Software
来自开放百科 - 灰狐
目录 |
Server-side
- Jigsaw
- bind
- ETA
Web agents, Parsers, Viewers
- Amaya
- CWM
- IsaViz
- Metalog
- WebBot
- WebCon
- Web Commander
- Winie
- Sirpac
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
- DTD2Schema
- Ical2html
- HTML-XML-utils
- Libxml
- libwww
- RDFPic
分享您的观点
