欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Dillo
来自开放百科 - 灰狐
Dillo is a multi-platform graphical web browser known for its speed and small footprint.
- Dillo is written in C and C++.
- Dillo is based on FLTK2, the Fast Light Toolkit (statically-linked by default!).
- Dillo is free software made available under the terms of the GNU General Public License (GPLv3).
- Dillo strives to be friendly both to users and developers.
- Dillo helps web authors to comply with web standards by using the bug meter.
Links
分享您的观点