marcelosousa/llvmvf marcelosousa/llvmvf

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Haskell
  • Created over 12 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
marcelosousa/llvmvf
github

marcelosousa

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

LLVM Verification Framework

More Repositories

1

million-dollar-ideas

Flea market for million dollar ideas
17
star
2

descartes

descartes: the cartesian hoare logic prover
Java
12
star
3

safemerge

SafeMerge: Verification of Conflict Freedom in Program Merges
Java
6
star
4

poet

POET (Partial Order Exploration Tools)
C
5
star
5

session-types-agda

Session Types in Agda
3
star
6

soft-typing-python

Soft typer for Python
Haskell
1
star
7

parsersharing

An Haskell General Parsing Library for Sharing
Haskell
1
star
8

smtlib

SMT-Lib v2 Tools for Haskell and Agda
SMT
1
star
9

llvm-mutestgen

LLVM test case generation using Mutation
C++
1
star
10

strictness-analysis

Dead-code elimination for a functional language
Haskell
1
star
11

robin-preview

1
star