BBSzilla is an extension for Mozilla-based browsers such as the Mozilla Application Suite and Firefox. It gives the browser the ability to connect to Bulletin Board Systems that utilize TCP/IP, such as Hotline servers. There is functionality for multi-user chat, single-user messaging, as well as server-side and P2P file sharing, threaded news, single-thread bulletins, and more.
FaCiLe is a constraint programming library over integer finite domain written in OCaml. It offers all usual facilities to create and manipulate finite domain variables, arithmetic expressions and constraints (possibly non-linear), built-in global constraints, and search goals. It also allows you to build easily user-defined constraints and goals (including recursive ones), making pervasive use of OCaml higher-order functionals to provide a simple and flexible interface for the user.