idris2-pack
By stefan-hoeck
ghc-wpc
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. (by grin-compiler)
| idris2-pack | ghc-wpc | |
|---|---|---|
| 2 | 2 | |
| 85 | 10 | |
| - | - | |
| 6.5 | 0.0 | |
| 28 days ago | 3 months ago | |
| Idris | Haskell | |
| BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |
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.
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.
idris2-pack
Posts with mentions or reviews of idris2-pack.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-19.
- is dependent haskell still a thing?
-
Building Idris2 for Apple silicon as of August 2022
An alternative installation method is via a new package manager under development called idris2-pack. It should work as-is to install Idris2 (and any packages that you want) after you've installed the racket chez port. The install.bash script has code to check for an M1 mac homebrew repository and set CPATH. I've wiped `~/.pack` and reinstalled it from scratch on my M1 mac a week or two ago.
ghc-wpc
Posts with mentions or reviews of ghc-wpc.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-19.
-
is dependent haskell still a thing?
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
-
Can GHCi be run like PDB?
Another thing you can try is the ghc-wpc project which has an interpreter which supports breakpoints, though you may need to hack little a bit to achieve your goals.
What are some alternatives?
When comparing idris2-pack and ghc-wpc you can also consider the following projects:
ChezScheme - Chez Scheme
hint - Runtime Haskell interpreter
Idris2 - A purely functional programming language with first class types
ghc-whole-program-compiler-project - GHC Whole Program Compiler and External STG IR tooling
IdrisExtSTGCodegen
lean4 - Lean 4 programming language and theorem prover
ChezScheme - Chez Scheme