andorp / IdrisExtSTGCodegenLinks
☆26Updated 2 years ago
Alternatives and similar repositories for IdrisExtSTGCodegen
Users that are interested in IdrisExtSTGCodegen are comparing it to the libraries listed below
Sorting:
- GRIN backend for Idris2☆33Updated 3 years ago
- Example uses of linear types☆43Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 3 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- A really small example of the Backpack module system for Haskell☆56Updated 9 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 3 months ago
- experimenting with unlifted classes via backpack☆36Updated 3 years ago
- Session Types with Priority in Linear Haskell