Pi-forall Alternatives

Similar projects and alternatives to pi-forall

• elaboration-zoo

  23 561 5.3 Haskell pi-forall VS elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

• idris

  5 3,408 6.2 Haskell pi-forall VS idris

  A Dependently Typed Functional Programming Language

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• hyper-haskell-server

  0 358 4.1 JavaScript pi-forall VS hyper-haskell-server

  The strongly hyped Haskell interpreter.

• dhall

  10 898 7.3 Dhall pi-forall VS dhall

  Maintainable configuration files

  

• uu-cco

  0 7 0.0 Haskell pi-forall VS uu-cco

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

  

• record-preprocessor

  0 12 0.0 Haskell pi-forall VS record-preprocessor

  Compiler preprocessor introducing a syntactic extension for anonymous records

• flp

  0 18 0.0 Haskell pi-forall VS flp

  Spatial layout specifications for memory management systems.

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• hackager

  0 13 0.0 Haskell pi-forall VS hackager

  Tool to test GHC against all of Hackage (by dterei)

• sjsp

  0 233 1.2 Haskell pi-forall VS sjsp

• haskelm

  0 50 0.0 Haskell pi-forall VS haskelm

  Haskell to Elm translation using Template Haskell. Contains both a library and executable.