minopret/correctness
Extracting programs from proofs of their defining properties.
Developer Profile
minopret
Discovered public repositories for minopret in the GitHub catalog.
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.
minopret/sunpos
Compute the position of the sun in the sky at a particular time and place on Earth.
minopret/tomboy-reminder
Write down the date and time when you want the note to be automatically opened in Tomboy, a desktop note-taking application.
minopret/minopret-lisp
An instructive (I hope) implementation of a simple Lisp programming language
minopret/number_systems
Fun with number systems: If 38 is "123" in base 5 (that is, one 25, two 5's, and three 1's), then what is pi in base e?