Popular repositories Loading

1. movie-database movie-database Public

   My personal code for a Python based movie database system

   Python 3

2. music123 music123 Public

   A simple command-line front end for mpg123, flac123, ogg123, mplayer, etc.

   Ada 1

3. discrete_optimization_ada_shell discrete_optimization_ada_shell Public

   Ada code for Coursera discrete optimization calls; structure only, no problem solving code

   Ada

4. Cherizo-graph-splitter Cherizo-graph-splitter Public

   A program to take a graph and split it up into subgraphs, minimizing the number of edges crossing pages

   Scala

5. Scalisp Scalisp Public

   Forked from Mononofu/Scalisp

   A lisp interpreter and compiler, written in Scala. Compiles Lisp to Scala !

   Scala

6. starner.mm starner.mm Public

   Additional theories for metamath