2 search results for "author:"Scott Owens""
Showing 1 - 2
-
Lem is a tool for lightweight executable mathematics2022-12-10BSD-3-Clause; LGPL-2.1-or-laterUsed by 3 other packages12 Dec 2022
-
A tool for writing definitions of programming languages and calculi0.33BSD-3-Clause; LGPL-2.1-onlyUsed by 2 other packages18 Jan 2023