Popularity

9.8

Stable

Activity

6.3

Declining

Stars 594

Watchers 32

Forks 92

Last Commit 7 months ago

Monthly Downloads: 2

Programming language: Haskell

License: BSD 3-clause "New" or "Revised" License

Tags: Compilers/Interpreters

pi-forall alternatives and similar packages

Based on the "Compiler" category.
Alternatively, view pi-forall alternatives based on common mentions on social networks and blogs.

idris

10.0 3.4 pi-forall VS idris

A Dependently Typed Functional Programming Language
binaryen

10.0 3.4 pi-forall VS binaryen

DISCONTINUED. DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

InfluxDB – Built for High-Performance Time Series Workloads

InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

Promo www.influxdata.com

Elm

10.0 4.0 pi-forall VS Elm

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

9.9 0.0 pi-forall VS haste-compiler

A GHC-based Haskell to JavaScript compiler
dhall

9.9 7.4 pi-forall VS dhall

Maintainable configuration files
accelerate

9.9 7.2 pi-forall VS accelerate

Embedded language for high-performance array computations
egison

9.9 0.0 pi-forall VS egison

The Egison Programming Language
kaleidoscope

9.9 0.0 pi-forall VS kaleidoscope

Haskell LLVM JIT Compiler Tutorial
hyper-haskell-server

9.7 7.5 L5 pi-forall VS hyper-haskell-server

The strongly hyped Haskell interpreter.
husk-scheme

9.7 4.2 pi-forall VS husk-scheme

A full implementation of the Scheme programming language for the Haskell Platform.
morte

9.7 0.0 pi-forall VS morte

A bare-bones calculus-of-constructions
accelerate-llvm

9.6 5.3 pi-forall VS accelerate-llvm

LLVM backend for Accelerate
hint

9.6 7.0 pi-forall VS hint

DISCONTINUED. Runtime Haskell interpreter [Moved to: https://github.com/haskell-hint/hint]
glambda

9.6 3.0 pi-forall VS glambda

The home of the Glamorous Glambda interpreter
sjsp

9.6 1.2 pi-forall VS sjsp

DISCONTINUED. Simple JavaScript Profiler
inspection-testing

9.5 5.5 pi-forall VS inspection-testing

Inspection Testing for Haskell
ajhc

9.5 0.0 pi-forall VS ajhc

A fork of jhc. And also a Haskell compiler.
wasm

9.4 1.2 pi-forall VS wasm

Haskell WebAssembly Toolkit
bound

9.4 4.2 pi-forall VS bound

Combinators for manipulating locally-nameless generalized de Bruijn terms
ghc-proofs

9.3 0.0 pi-forall VS ghc-proofs

Let GHC prove program equations for you
CPL

9.2 2.4 pi-forall VS CPL

An interpreter of Hagino's Categorical Programming Language (CPL).
sunroof-compiler

9.2 0.0 pi-forall VS sunroof-compiler

Monadic Javascript Compiler
accelerate-examples

9.2 0.0 pi-forall VS accelerate-examples

Examples for the Accelerate language
llvm-hs-pretty

9.1 0.0 pi-forall VS llvm-hs-pretty

Pretty printer for LLVM AST to Textual IR
pcf

9.1 0.0 pi-forall VS pcf

A small compiler for PCF
accelerate-cuda

9.1 0.0 pi-forall VS accelerate-cuda

DEPRECATED: Accelerate backend for NVIDIA GPUs
dhall-nix

9.0 0.0 pi-forall VS dhall-nix

DISCONTINUED. Dhall to Nix compiler
annah

9.0 0.0 pi-forall VS annah

Distributed programming language that desugars to Morte
lambdacube-compiler

9.0 0.0 pi-forall VS lambdacube-compiler

LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:
elm-street

9.0 3.0 pi-forall VS elm-street

:deciduous_tree: Crossing the road between Haskell and Elm
dhall-json

8.8 0.0 pi-forall VS dhall-json

DISCONTINUED. Compile Dhall to JSON or YAML
ntha

8.7 0.0 pi-forall VS ntha

The Ntha Programming Language
haskell-to-elm

8.6 4.3 pi-forall VS haskell-to-elm

Generate Elm types, encoders, and decoders from Haskell types
epic

8.5 0.0 pi-forall VS epic

Epic - a Supercombinator Compiler
hLLVM

8.5 0.0 pi-forall VS hLLVM

DISCONTINUED. A library for analyzing and transforming LLVM (3.5) assembly codes
unbound

8.4 0.0 pi-forall VS unbound

Replib: generic programming & Unbound: generic treatment of binders
sunroof-examples

8.2 0.0 pi-forall VS sunroof-examples

Tests for Sunroof
accelerate-io

8.2 3.2 pi-forall VS accelerate-io

Read and write Accelerate arrays in various formats
kempe

8.1 5.1 pi-forall VS kempe

Kempe is a compiled stack-based language
peg

8.1 0.0 pi-forall VS peg

A lazy non-deterministic concatenative programming language
nom

8.0 0.0 pi-forall VS nom

Haskell implementation of nominal datatypes and functions
haskelm

8.0 0.0 pi-forall VS haskelm

DISCONTINUED. Haskell to Elm translation using Template Haskell. Contains both a library and executable.
accelerate-fft

7.9 0.0 pi-forall VS accelerate-fft

FFT library for Haskell based on the embedded array language Accelerate
lazyboy

7.8 0.0 pi-forall VS lazyboy

An EDSL implemented in Haskell for programming the Nintendo Game Boy.
elm-syntax

7.8 5.6 pi-forall VS elm-syntax

Library for generating Elm syntax from Haskell in a scope-safe way
strict-ghc-plugin

7.7 0.0 pi-forall VS strict-ghc-plugin

DISCONTINUED. Compiler plugin for making Haskell strict
alms

7.6 0.0 pi-forall VS alms

The Alms Programming Language
feldspar-compiler

7.4 0.0 pi-forall VS feldspar-compiler

This is the compiler for the Feldspar Language.
dhall-text

7.4 0.0 pi-forall VS dhall-text

DISCONTINUED. Template text using Dhall
haskell-stack-trace-plugin

7.3 4.1 pi-forall VS haskell-stack-trace-plugin

haskell-stack-trace-plugin

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.

Do you think we are missing an alternative of pi-forall or a related project?

Add another 'Compiler' Package

Popular Comparisons

README

pi-forall language

This language implementation is designed to accompany four lectures at OPLSS during Summer 2022. Notes for these lectures are included in the distribution:

[oplss.pdf](doc/oplss.pdf)

(The documentation [README.md](doc/README.md) includes details about how the notes are typeset.)

These lecture notes correspond to an increasingly expressive demo implementation of dependently-typed lambda calculus. Each of the following subdirectories is self-contained (and all are generated from the same source, located in the [main/](main/) directory).

[version1/](version1/): Basic language implementation
[version2/](version2/): Basic language extended with nontrivial definitional equality
[version3/](version3/): Above, extended with irrelevant arguments
[full/](full/): Full language with datatypes

The implementation [README.md](main/README.md) includes instructions about how to compile and work with these implementations.

History

This is a revised version of lecture notes originally presented at OPLSS during 2014 and 2013.

Videos from the 2014 lectures are also available from the OPLSS website. If you want to watch these videos, you should look at the 2014 branch of this repository.

An abridged version of these lectures was also given at the Compose Conference, January 2015. Notes from this version are also available.

[compose.md](old/compose.md): Overview of pi-forall implementation

-- Stephanie Weirich

pi-forall

A demo implementation of a simple dependently-typed language

pi-forall alternatives and similar packages

Popular Comparisons

README

pi-forall language

History