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.

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.1	2026-01-14		0
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
Totals: 5 Items			0

Other Useful Business Software

Connect with customers in one app

Businesses of all sizes seeking an AI-enhanced, all-in-one communication platform to unify voice, video, and messaging for improved team collaboration

Dialpad Connect is an AI-powered unified communications platform that combines voice, video, and messaging to enhance team collaboration and customer interactions. It features real-time call transcription, automated call summaries, and AI-generated action items to help users stay focused during conversations. The platform integrates seamlessly with popular business apps like Salesforce, Zendesk, Microsoft Teams, and Google Workspace to streamline workflows. Designed for businesses of all sizes, Dialpad Connect delivers enterprise-grade reliability with 100% uptime SLA and robust disaster recovery. Security and privacy are core priorities, meeting standards like GDPR, HIPAA, and SOC 2 compliance. Dialpad Connect helps companies elevate customer experiences while boosting team productivity.

Learn More

Powerful Website Security | Continuous Web Threat Platform

Continuously detect, prioritize, and validate web threats to quickly mitigate security, privacy, and compliance risks.

Reflectiz is a comprehensive web exposure management platform that helps organizations proactively identify, monitor, and mitigate security, privacy, and compliance risks across their online environments. Designed to address the growing complexity of modern websites, Reflectiz provides full visibility and control over first, third, and even fourth-party components, such as scripts, trackers, and open-source libraries that often evade traditional security tools.

Learn More

Connect with customers in one app

Businesses of all sizes seeking an AI-enhanced, all-in-one communication platform to unify voice, video, and messaging for improved team collaboration

Learn More

Recommended Projects

Agda
Agda is a dependently typed programming language
Obelisk
Functional reactive web and mobile applications, with batteries
Law Leecher
Law Leecher is a multi-threaded web crawling tool which extracts laws from the EU law database PreLex (http://ec.europa.eu/prelex/). It's written in Ruby.
Hacker Laws
Laws, theories, principles and patterns useful to developers
IHP
The fastest way to build type safe web apps

LiquidHaskell Files

Liquid Types For Haskell

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