Code samples for Lean 4

A Testing Framework for Lean

A program synthesizer for code in the How to Design Programs curriculum

Standard ML compiler based on typed intermediate languages.

A Coq IDE build on top of Proof General's Coq mode

Structured editing minor mode for Haskell in Emacs

A free & open modern, fast email client with user-friendly encryption and privacy features

A REST-ful resource CRUD DSL for Snap

Find the distance between two North American post codes

A type checker for the Pyret programming language

Set sail for Learning Island! Deprecated and no longer maintained

The Pyret language.

a safe, concurrent, practical language

A general way to consume input using applicative functors

Haskell Database Connectivity [Haskell]

Conversion between different types [Haskell]

Snapframework.com source code

Creating delicious APIs for Django apps since 2010. Beta-quality. v0.9.9

A robust lightweight wrapper for asynchronous http requests

DEPRECATED: Backend for digestive-functors built to work with the heist frontend

Heist Frontend for Digestive Functors

Easy MongoDB integration for Snap applications

Simple logging for Snap applications - does both time to generate pages and access counts by user

Basic haskell wrapping around the email service Postmark (http://postmarkapp.com)

Asynchronous page updates for heist

Intelligent ToolTip jQuery Plugin

Less CSS for Snap

browser asynchronous http requests