Programming languages created in 2013
Leanเป็นตัวช่วยในการพิสูจน์และภาษาการเขียนโปรแกรมเชิงฟังก์ชันโดยอิงตามแคลคูลัสของการสร้างด้วยประเภทอุปนัยเป็น โครงการ...
Hyเป็นภาษาถิ่นของภาษาโปรแกรมLisp ที่ออกแบบมาเพื่อโต้ตอบกับPythonโดยการแปลงนิพจน์ sเป็นต้นไม้ไวยากรณ์นามธรรม (AST) ของ Python Hy ได้รับการแนะนำในงาน Python Conference (PyCon) 2013..
Wyvernเป็นภาษาโปรแกรมคอมพิวเตอร์ที่สร้างโดย Jonathan Aldrich และ Alex Potanin สำหรับการพัฒนาเว็บและแอปพลิเคชันมือถือโดยให้ความสำคัญกับความปลอดภัยและความมั่นใจเป็นอันดับแรก Wyvern..