Succinct/compact/compressed data structures for data-intensive Python programsgithub.com·7 pts·harveywi·4
Leon: An automated system for verifying Scala code, now with support for Isabellegroups.google.com·9 pts·harveywi·0