thpani/coachman thpani/coachman

  • Stars
    star
    2
  • Language
    OCaml
  • Created almost 7 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
thpani/coachman
github

thpani

Reviews

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

Repository Details

COACHMAN: COmplexity Analyzer for Concurrent Heap-MANipulating programs

More Repositories

1

hdapsicon

HDAPSicon: GTK HDAPS monitor (formerly ThinkHDAPS)
Python
8
star
2

netatalk-armhf

Netatalk 3 .deb's for Raspberry Pi
Elixir
6
star
3

kripkebuilder

Interactive frontend for manipulating kripke structures and evaluating temporal logic formulae.
JavaScript
6
star
4

notify-osd-overlay

Gentoo overlay for porting NotifyOSD from Ubuntu.
3
star
5

clang-tools-extra

clang-tools-extra including sloopy. Sloopy computes heuristics to empirically determine difficulty of automated program analysis for loops in C programs.
C++
1
star
6

brewfiles

Ruby
1
star
7

dotfiles

My dotfiles
Vim Script
1
star