marcelosousa/llvm
Haskell bindings to the LLVM compiler infrastructure project.
Developer Profile
marcelosousa
Discovered public repositories for marcelosousa in the GitHub catalog.
marcelosousa/llvm-mutestgen
LLVM test case generation using Mutation
marcelosousa/smtlib
SMT-Lib v2 Tools for Haskell and Agda
marcelosousa/llvmvf
LLVM Verification Framework
marcelosousa/strictness-analysis
Dead-code elimination for a functional language
marcelosousa/soft-typing-python
Soft typer for Python
marcelosousa/agda-gp
Public repository.
marcelosousa/soft-typing-PHP5
Soft Typing PHP5
marcelosousa/session-types-agda
Session Types in Agda
marcelosousa/parsersharing
An Haskell General Parsing Library for Sharing