minopret/welisp
A native interpreter for Lisp that is simplistic so that we can all do it.
Write down the date and time when you want the note to be automatically opened in Tomboy, a desktop note-taking application.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A native interpreter for Lisp that is simplistic so that we can all do it.
Extracting programs from proofs of their defining properties.
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."
Syntax checker for a subset of the ANSI Minimal BASIC programming language.