Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)(ericpony.github.io)144 points by amit-bansil 11 months ago | 13 comments
Yorick is an interpreted programming language for scientific simulations(yorick.sourceforge.net)52 points by Tomte 3 years ago | 18 comments
Renga 1.26 – An XMPP client for HaikuOS(pulkomandy.tk)5 points by neustradamus 2 years ago | 0 comments
HTML, the Programming Language(html-lang.org)266 points by recursivedoubts 2 years ago | 126 comments
Swig – Connect C/C++ programs with high-level programming languages(swig.org)101 points by c0balt 3 years ago | 79 comments