1. Airtighta python-like language with hindley-milner-like type system, which is compiled to c
3. MatcheteA DSL for method overloading in Ruby based on pattern matching
5. Hatlogcustom type systems for python in prolog: http://alehander42.me/prolog_type_systems
8. tracker requestan elixir library for dealing with bittorrent tracker requests and responses
9. sitha macro preprocessor for ruby with ruby-like template notation