Pinned Repositories
aflex
Aflex the Ada fast lexical analyser generator
Cherizo-graph-splitter
A program to take a graph and split it up into subgraphs, minimizing the number of edges crossing pages
dart-image
Dart library for decoding/encoding image formats, and image processing.
discrete_optimization_ada_shell
Ada code for Coursera discrete optimization calls; structure only, no problem solving code
EPlurum
A concurrent esolang
Liania
Private Pathfinder2 campaign notes
movie-database
My personal code for a Python based movie database system
music123
A simple command-line front end for mpg123, flac123, ogg123, mplayer, etc.
Permutation-Cycling
Can we take n different objects, and rearrange them by switching adjacent objects, through all possible permutations?
Prosfilaes's Repositories
Prosfilaes/movie-database
My personal code for a Python based movie database system
Prosfilaes/aflex
Aflex the Ada fast lexical analyser generator
Prosfilaes/Cherizo-graph-splitter
A program to take a graph and split it up into subgraphs, minimizing the number of edges crossing pages
Prosfilaes/dart-image
Dart library for decoding/encoding image formats, and image processing.
Prosfilaes/discrete_optimization_ada_shell
Ada code for Coursera discrete optimization calls; structure only, no problem solving code
Prosfilaes/EPlurum
A concurrent esolang
Prosfilaes/Liania
Private Pathfinder2 campaign notes
Prosfilaes/music123
A simple command-line front end for mpg123, flac123, ogg123, mplayer, etc.
Prosfilaes/Permutation-Cycling
Can we take n different objects, and rearrange them by switching adjacent objects, through all possible permutations?
Prosfilaes/Scalisp
A lisp interpreter and compiler, written in Scala. Compiles Lisp to Scala !
Prosfilaes/starner.mm
Additional theories for metamath
Prosfilaes/tsp-scala
Travelling Salesman Problem code in Scala; quick polynomial approximation + branch-and-bound w/ Linear Programming