tempi VS liquidhaskell

Compare tempi vs liquidhaskell and see what are their differences.

tempi

A Haskell library for representing musical tempi, with a basic representation consisting of three orthogonal components (frequency,time,count of elapsed cycles/beats). Basic purpose is to allow multiple Haskell-based live coding languages to share a common representation of tempo. (by dktr0)
Language
Source Code
Suggest alternative
Edit details

liquidhaskell

Liquid Types For Haskell (by ucsd-progsys)
Language Haskell refinement-types SMT Verification
Source Code
Suggest alternative
Edit details
InfluxDB
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors
tempi liquidhaskell
- 4
1 1,147
- 0.5%
0.0 9.3
over 2 years ago 9 days ago
Haskell Haskell
BSD 3-clause "New" or "Revised" License BSD 3-clause "New" or "Revised" License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

tempi

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

We haven't tracked posts mentioning tempi yet.
Tracking mentions began in Dec 2020.

liquidhaskell

Posts with mentions or reviews of liquidhaskell. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-10-11.

What are some alternatives?

When comparing tempi and liquidhaskell you can also consider the following projects:

language-python - A parser for Python 2.x and 3.x written in Haskell

purescript - A strongly-typed language that compiles to JavaScript

cryptol - Cryptol: The Language of Cryptography

ats-format - ATS source code formatter

portable-template-haskell-lens

frp-arduino - Arduino programming without the hassle of C.

stylish-haskell - Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell]

language-java - Java parser and printer for haskell

language-thrift - Haskell parser for the Thrift IDL format.

haskell-src-exts - Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

language-lua - Lua parser and pretty-printer

tempi vs language-python liquidhaskell vs purescript tempi vs cryptol liquidhaskell vs ats-format tempi vs purescript liquidhaskell vs portable-template-haskell-lens tempi vs frp-arduino liquidhaskell vs stylish-haskell tempi vs language-java liquidhaskell vs language-thrift tempi vs haskell-src-exts liquidhaskell vs language-lua