LiquidHaskell Files

Liquid Types For Haskell

This is an exact mirror of the LiquidHaskell project, hosted at https://github.com/ucsd-progsys/liquidhaskell. SourceForge is not affiliated with LiquidHaskell. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
v0.9.12.2	2025-03-22		0
v0.9.10.1.2	2025-03-06		0
v0.9.8.2	2024-08-24		0
v0.9.10.1	2024-08-21		0
v0.9.8.1	2024-02-05		0
Totals: 5 Items			0

nel_h2

Secure User Management, Made Simple | Frontegg

Get 7,500 MAUs, 50 tenants, and 5 SSOs free – integrated into your app with just a few lines of code.

Frontegg powers modern businesses with a user management platform that’s fast to deploy and built to scale. Embed SSO, multi-tenancy, and a customer-facing admin portal using robust SDKs and APIs – no complex setup required. Designed for the Product-Led Growth era, it simplifies setup, secures your users, and frees your team to innovate. From startups to enterprises, Frontegg delivers enterprise-grade tools at zero cost to start. Kick off today.

Start for Free

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Recommended Projects

AccessControl
Role and Attribute based Access Control for Node.js
Clonezilla
A partition and disk imaging/cloning program
DeSmuME: Nintendo DS emulator
DeSmuME is a Nintendo DS emulator
KeePass
A lightweight and easy-to-use password manager
Apache OpenOffice
The free and Open Source productivity suite

LiquidHaskell Files

Liquid Types For Haskell

Get an email when there's a new version of LiquidHaskell