User contributions
For \('"1 (\)'"2)
Jump to navigation
Jump to search
- 08:38, 30 June 2014 (diff | hist) (+267) N 2PATS-search-ocaml (Created page with "{{SoftwareTemplate |Name=2PATS-ocaml |Description=The proven ocaml version of the programmatic search used in the 2pats paper (http://arxiv.org/abs/1404.0967). It requires Par...") (current)
- 08:37, 30 June 2014 (diff | hist) (0) N File:Mlpats.zip (current)
- 13:35, 12 June 2014 (diff | hist) (0) File:Baggins-expressions.zip (uploaded a new version of "File:Baggins-expressions.zip") (current)
- 13:34, 12 June 2014 (diff | hist) (+98) N File:Baggins-expressions.zip (Code samples for the paper "noncooperative algorithms in self-assembly" (Pierre-Étienne Meunier).)
- 13:25, 12 June 2014 (diff | hist) (+186) N Baggins-expressions (Created page with "{{SoftwareTemplate |Name=Baggins expressions |Description=A Haskell implementation of the programs from "Noncooperative algorithms in self-assembly". |Download=baggins-expression...") (current)
- 13:35, 1 April 2014 (diff | hist) (+75) N File:2Pats.hs.zip (Haskell version, to be used with Parry-0.1, of the 2PATS exhaustive search.) (current)
