Rubi: Symbolic integrator based on an extensive system of integration rulesrulebasedintegration.org·70 pts·ducktective·26
LambdaNative: Cross-platform development environment written in Gambit Schemelambdanative.org·2 pts·ducktective·0
JPEGView: Fast and highly configurable image viewer/editor with a minimal GUIgithub.com·1 pts·ducktective·0