is dependent haskell still a thing?

• idris2-pack

  2 85 6.7 Idris

• lean4

  53 3,739 9.9 Lean

  Lean 4 programming language and theorem prover

  

Lean is another alternative. Very fast, built by Microsoft. Dependent types, proof tactics, type classes, monads, nice macro system.

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

  

• IdrisExtSTGCodegen

  6 24 0.0 Idris

In practice we will probably have an STG backend for Idris2 before a dependent Haskell, then at least you could link together Haskell and Idris code

• ghc-wpc

  2 10 0.0 Haskell

  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at application link time.

  

In practice we will probably have an STG backend for Idris2 before a dependent Haskell, then at least you could link together Haskell and Idris code

Suggest a related project