Horn Clause Constraint Solving for Liquid Types (by ucsd-progsys)

Liquid-fixpoint Alternatives

Similar projects and alternatives to liquid-fixpoint

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better liquid-fixpoint alternative or higher similarity.

Suggest an alternative to liquid-fixpoint

liquid-fixpoint reviews and mentions

Posts with mentions or reviews of liquid-fixpoint. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning liquid-fixpoint yet.
Tracking mentions began in Dec 2020.


Basic liquid-fixpoint repo stats
6 days ago

ucsd-progsys/liquid-fixpoint is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
Find remote jobs at our new job board There is 0 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.