llvm-hs/llvm-hs-typed

Type Safe LLVM IR ( Experimental )

34
/ 100
Emerging

This is a Haskell library for writing LLVM Intermediate Representation (IR) code. It helps Haskell developers construct LLVM ASTs more safely by using the Haskell type system to prevent common errors like type mismatches or malformed structures. Developers feed in Haskell code representing their desired LLVM IR, and it produces a validated LLVM module ready for compilation.

No commits in the last 6 months.

Use this if you are a Haskell developer writing a compiler or code generator that targets LLVM and you want to leverage Haskell's type system to ensure the correctness of your generated LLVM IR at compile time.

Not ideal if you are working with LLVM IR in a language other than Haskell, or if you need a lower-level, less opinionated API for LLVM IR manipulation.

compiler-development code-generation static-analysis type-safe-programming Haskell-development
Stale 6m No Package No Dependents
Maintenance 0 / 25
Adoption 8 / 25
Maturity 16 / 25
Community 10 / 25

How are scores calculated?

Stars

49

Forks

5

Language

Haskell

License

BSD-3-Clause

Last pushed

Jun 13, 2018

Commits (30d)

0

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/llvm-hs/llvm-hs-typed"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.