marcelosousa/descartes marcelosousa/descartes

  • Stars
    star
    12
  • Rank 1,549,597 (Top 32 %)
  • Language
    Java
  • Created about 9 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
marcelosousa/descartes
github

marcelosousa

Reviews

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

Repository Details

descartes: the cartesian hoare logic prover

More Repositories

1

million-dollar-ideas

Flea market for million dollar ideas
17
star
2

llvmvf

LLVM Verification Framework
Haskell
9
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