PVS is a specification and verification system that combines an expressive specification language with support tools and an interactive theorem prover.
Read more
Tag: common lisp
Lem – general-purpose editor/IDE
Lem is a general-purpose text editor and IDE written in Common Lisp.
Read more
10 Top Free and Open Source Lisp Web Frameworks
A web framework offers the developer a choice about how to solve a specific problem. Here’s our recommended Lisp frameworks.
Read more
Mahogany – tiling window manager for Wayland
Mahogany is a tiling window manager for Wayland modeled after StumpWM.
Read more