minopret/correctness
Extracting programs from proofs of their defining properties.
Public GitHub Catalog
Discovered Oct 7, 2026
minopret / welisp
A native interpreter for Lisp that is simplistic so that we can all do it.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#34831489GitHub System ID
minopretOrganization / User
PublicVisibility
ActiveCatalog Status
More from minopret
minopret/proof
Determine whether it's a correct proof when someone claims, for example, "All men are mortal. Socrates is a man. By 'universal instantiation' and 'modus ponens', Socrates is mortal."
minopret/subminbas
Syntax checker for a subset of the ANSI Minimal BASIC programming language.
minopret/topdown
Upon reading a sentence or phrase (example: "the dog"), figure out how its words might relate to each other.