paulcc/plastic

Stars
1
Language
Created almost 15 years ago
Updated almost 15 years ago

paulcc/plastic

paulcc

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An implementation of Luo's Typed LF, with experimental facilities for coercive subtyping - will upload when I finish cleaning up the code...

spree-reviews

Basic review and ratings facility for Spree -- work in progress: see TODO file, and also see my fork of spree-demo for actual use

spree-recommendations

Various ways to draw customers' attention to other products

spree-blog

Basic blog facility as a Spree extension -- work in progress (see TODO file): see my fork of the demo for actual use

spree-promotions

Spree extension, provides various ways to select products to highlight -- WORK IN PROGRESS

spree-protx3ds-gateway

Support for SagePay/Protx gateway - with support for 3D Secure validation

spree-demo

The online demo for Spree (a ruby on rails commerce platform.), with paulcc's extensions incorporated

spree-sitemaps

On site, google, yahoo sitemaps for spree. (paulcc's mods)

simple-resolution-prover

minijava-compiler

tutorial compiler for a java subset, in Haskell

spree-google-base

Google Base for Spree

xsaiga

Haskell combinator library for parsing left-recursive and ambiguous grammars

ruby-refactoring

This is RASH (Ruby AnalysiS in Haskell) -- it's going to be all over your code! I aim to get it to do various static analyses, type checking, and refactoring on Ruby. It is being morphed from https://github.com/paulcc/minijava-compiler. Contributions welcome! I'm also very happy to explain things if people ask. (NOTE: I'd rather write this in Agda, but one step at a time...)

spree-upgrade

dummy extension to help upgrading over multiple projects

paulcc.github.com