Projects

• Charles Chiou: First-Order Logic Resolution Theorem Prover In Haskell.
• Dachuan Yu: Frogs and Toads.
• Hai Fang: HuaRongDao Solver.
• Igor Chikanian: Curry Howard Isomorphism.
• John Garvin: IPS : Iterative Particle System.
• Liwen Huang: Tetravex.
• Liz Evans: Slider.
• Michael Chen: Implementing a Demo-style 3D Renderer in Haskell.
• Nicholas Jitkoff: Viral.
• Peng Ling: Quad Tree.
• Richard Fontana: Encoding a Fragment of the pi-Calculus in Haskell.
• Yu Liao: Pousse.
• Zhaozhong Ni: General Searching Framework.