optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
☆32May 15, 2019Updated 6 years ago
Alternatives and similar repositories for simplexhc-cpp
Users that are interested in simplexhc-cpp are comparing it to the libraries listed below
Sorting:
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Oct 8, 2017Updated 8 years ago
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- A GHC plugin and library for analysing GHC Core☆54Feb 4, 2025Updated last year
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 9 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Feb 25, 2020Updated 6 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆24Jan 10, 2021Updated 5 years ago
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 8 years ago
- Time series database built on acid-state☆13Jan 17, 2015Updated 11 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- TripleSec is a simple, triple-paranoid, symmetric encryption library☆13Dec 26, 2023Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 9 months ago
- ☆28Jun 3, 2018Updated 7 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Haskell space profiling toolset☆14Nov 7, 2018Updated 7 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- 🔖 Better Haskell documentation.☆17Sep 11, 2020Updated 5 years ago
- Map lazy functional language constructs to LLVM IR☆52Jun 21, 2019Updated 6 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jan 13, 2025Updated last year
- JHC Haskell compiler split into reusable components☆57Dec 17, 2018Updated 7 years ago
- Generate and apply diffs between JSON documents.☆39Oct 5, 2022Updated 3 years ago
- ☆39Oct 19, 2017Updated 8 years ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Aug 16, 2017Updated 8 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 15 years ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 6 years ago