Popular repositories

1. minopret-lisp minopret-lisp Public

   An instructive (I hope) implementation of a simple Lisp programming language

   Python 4 1

2. lcs lcs Public

   Longest Common Substring (LCS) Server

   Python 2

3. number_systems number_systems Public

   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?

   Python 1

4. proof proof Public

   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."

   Python 1

5. tomboy-reminder tomboy-reminder Public

   Write down the date and time when you want the note to be automatically opened in Tomboy, a desktop note-taking application.

   C#

6. sunpos sunpos Public

   Compute the position of the sun in the sky at a particular time and place on Earth.

   Python