hyper-haskell-server VS pi-forall

Compare hyper-haskell-server vs pi-forall and see what are their differences.

pi-forall

A demo implementation of a simple dependently-typed language (by sweirich)
Our great sponsors
  • SurveyJS - Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
hyper-haskell-server pi-forall
- 1
359 539
- -
4.1 7.5
3 months ago 10 months ago
JavaScript Haskell
GNU General Public License v3.0 or later 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.

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.

pi-forall

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

What are some alternatives?

When comparing hyper-haskell-server and pi-forall you can also consider the following projects:

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

dhall - Maintainable configuration files

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

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

alms - The Alms Programming Language

record-preprocessor - Compiler preprocessor introducing a syntactic extension for anonymous records

core-compiler - compile your own functional language

flp - Spatial layout specifications for memory management systems.

accelerate-llvm - LLVM backend for Accelerate

hackager - Tool to test GHC against all of Hackage