Singletons-presburger Alternatives

Similar projects and alternatives to singletons-presburger

statistics

1 300 6.1 Haskell singletons-presburger VS statistics

A fast, high quality library for computing with statistics in Haskell.
InfluxDB

www.influxdata.com featured

Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
ghc-plugs-out

0 2 0.0 Haskell singletons-presburger VS ghc-plugs-out

Type checker plugins without the type checking. (by BlockScope)
dimensional

0 102 0.0 Haskell singletons-presburger VS dimensional

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
vector

2 360 8.1 Haskell singletons-presburger VS vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework . (by haskell)
semigroups

0 62 1.1 Haskell singletons-presburger VS semigroups

Haskell 98 semigroups
vector-th-unbox

0 0 0.0 Haskell singletons-presburger VS vector-th-unbox

Deriver for unboxed vectors using Template Haskell
linear

8 198 6.1 Haskell singletons-presburger VS linear

Low-dimensional linear algebra primitives for Haskell.
SaaSHub

www.saashub.com featured

SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
computational-algebra

0 92 0.0 HTML singletons-presburger VS computational-algebra

General-Purpose Computer Algebra System as an EDSL in Haskell
hermit

0 49 0.0 Haskell singletons-presburger VS hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel (by ku-fpg)
ad

6 368 6.2 Haskell singletons-presburger VS ad

Automatic Differentiation

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

Suggest an alternative to singletons-presburger

singletons-presburger discussion

singletons-presburger reviews and mentions

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

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

Stats

Basic singletons-presburger repo stats

Mentions

Stars

Activity

7.4

Last Commit

3 months ago

konn/ghc-typelits-presburger is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of singletons-presburger is Haskell.