Ghc-proofs Alternatives

Similar projects and alternatives to ghc-proofs

• dhall

  10 898 7.3 Dhall ghc-proofs VS dhall

  Maintainable configuration files

  

• idris

  5 3,408 6.2 Haskell ghc-proofs 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.

  

• const-math-ghc-plugin

  0 14 0.0 Haskell ghc-proofs VS const-math-ghc-plugin

  GHC plugin for constant math elimination

• zot

  0 8 0.0 Haskell ghc-proofs VS zot

• BinderAnn

  0 3 3.2 Haskell ghc-proofs VS BinderAnn

  BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

  

• uu-cco

  0 7 0.0 Haskell ghc-proofs VS uu-cco

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

  

• hyper-haskell-server

  0 358 4.1 JavaScript ghc-proofs VS hyper-haskell-server

  The strongly hyped Haskell interpreter.

• 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.

  

• wasm

  0 147 5.6 Haskell ghc-proofs VS wasm

  Haskell WebAssembly Toolkit

• inspection-testing

  2 171 6.2 Haskell ghc-proofs VS inspection-testing

  Inspection Testing for Haskell

• smuggler2

  0 19 0.0 Haskell ghc-proofs VS smuggler2

  Minimise haskell imports, make exports explicit