Billy's repositories
quint
Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions
Language:TypeScriptApache-2.0000
zotero
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
Language:JavaScriptNOASSERTION000