Record-calculus is a project mainly written in Haskell, it's free.
An assumption-tracking "object calculus"
This is an experimental code organization system (module system) simmered down to its essence. See the examples in the examples/ directory.