minopret Goto Github PK

app-to-access-sefaria

Web page that talks directly to REST API of the service, Sefaria

broguebot

Bot API for playing the roguelike Brogue

calendar

My old code to calculate and convert dates with the Hebrew calendar

correctness

Extracting programs from proofs of their defining properties.

dotfiles

laserchess

Jogo Laser Chess feito em C++/Qt5.

lcs

Longest Common Substring (LCS) Server

minopret-lisp

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

minopret.github.io

mmverify.py

Metamath verifier in Python

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?

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

springbots

Genetic algorithm experiment

subminbas

Syntax checker for a subset of the ANSI Minimal BASIC programming language.

sunpos

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

tomboy-reminder

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

topdown

Upon reading a sentence or phrase (example: "the dog"), figure out how its words might relate to each other.

vim-metarw

Vim plugin: A framework to read/write fake:path

welisp

A native interpreter for Lisp that is simplistic so that we can all do it.