
4
Wyvern je nový programovací jazyk navržený tak, aby vývojářům pomáhal být vysoce produktivní při psaní vysoce zabezpečených aplikací.První hlavní inovací ve Wyvernu jsou jazyky specifické pro daný typ, což je funkce, která umožňuje programátorům vytvářet literály daného typu (např. Typ SQLQuery) v jazyce vhodném pro daný typ (např. SQL).V současné době pracujeme na objektovém modelu Wyvern a poskytujeme architektům větší architektonickou kontrolu.
Webová stránka:
http://www.cs.cmu.edu/~aldrich/wyvern/Kategorie
Alternativy Wyvern pro Cygwin

2
Chibi Scheme
Chibi-Scheme je velmi malá knihovna bez vnějších závislostí, určená pro použití jako rozšíření a skriptovací jazyk v programech C.