Repository Index

A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages

• programming-language
• compiler
• virtual-machine
• ring

Corman Lisp

• common-lisp
• ide

Language for high-assurance and high-speed cryptography

• compiler
• language
• coq