marcelosousa/llvm
Haskell bindings to the LLVM compiler infrastructure project.
Public GitHub Catalog
Discovered Sep 25, 2026
marcelosousa / soft-typing-python
Soft typer for Python
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#3292117GitHub System ID
marcelosousaOrganization / User
PublicVisibility
ActiveCatalog Status
More from marcelosousa
marcelosousa/llvm-mutestgen
LLVM test case generation using Mutation
marcelosousa/smtlib
SMT-Lib v2 Tools for Haskell and Agda
marcelosousa/llvmvf
LLVM Verification Framework