ghc-proofs VS hyper-haskell-server

Compare ghc-proofs vs hyper-haskell-server and see what are their differences.

ghc-proofs

Let GHC prove program equations for you (by nomeata)
Compiler Compiler Plugin
Source Code
Suggest alternative
Edit details

hyper-haskell-server

The strongly hyped Haskell interpreter. (by HeinrichApfelmus)
Compiler Haskell Interpreter interactive-coding Cross-Platform Electron GUI
Source Code
Suggest alternative
Edit details
WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors
ghc-proofs hyper-haskell-server
- -
145 359
- -
0.0 4.1
over 5 years ago 3 months ago
Haskell JavaScript
MIT 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.

ghc-proofs

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

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

hyper-haskell-server

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

We haven't tracked posts mentioning hyper-haskell-server yet.
Tracking mentions began in Dec 2020.

What are some alternatives?

When comparing ghc-proofs and hyper-haskell-server you can also consider the following projects:

dhall - Maintainable configuration files

husk-scheme - A full implementation of the Scheme programming language for the Haskell Platform.

idris - A Dependently Typed Functional Programming Language

sunroof-compiler - Monadic Javascript Compiler

const-math-ghc-plugin - GHC plugin for constant math elimination

Elm - Compiler for Elm, a functional language for reliable webapps.

zot

alms - The Alms Programming Language

BinderAnn - BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

pi-forall - A demo implementation of a simple dependently-typed language

uu-cco - Tools for the CCO (Compiler Construction) course at the UU (Utrecht University)

core-compiler - compile your own functional language

ghc-proofs vs dhall hyper-haskell-server vs husk-scheme ghc-proofs vs idris hyper-haskell-server vs sunroof-compiler ghc-proofs vs const-math-ghc-plugin hyper-haskell-server vs Elm ghc-proofs vs zot hyper-haskell-server vs alms ghc-proofs vs BinderAnn hyper-haskell-server vs pi-forall ghc-proofs vs uu-cco hyper-haskell-server vs core-compiler