bendisposto/prob2 bendisposto/prob2

  • This repository has been archived on 19/Jul/2019
  • Stars
    star
    11
  • Rank 1,690,792 (Top 34 %)
  • Language
    Java
  • License
    Eclipse Public Li...
  • Created about 12 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bendisposto/prob2
github

bendisposto

Reviews

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

Repository Details

ProB 2.0

More Repositories

1

probparsers

ProB Parser library
Java
9
star
2

dojo

JavaScript
8
star
3

evalB

JavaScript
4
star
4

bla

B Lisp Animator
Clojure
2
star
5

prob2_tooling_template

Java
2
star
6

reframe-cytoscape

Clojure
2
star
7

sablecc-stups

Java
2
star
8

prob2-ui

Java
2
star
9

microkanren

Almost literal translation from Hemann and Friedman's paper
Clojure
1
star
10

xperiment_jenkins

Just an experiment for building no interesting code here
Java
1
star
11

JVersionNumberer

Java
1
star
12

E4-TestApp

Java
1
star
13

quickcheck_rheinjug

Clojure
1
star
14

infolog

Prolog
1
star
15

clotri

Clojure
1
star
16

probcore

Java
1
star
17

prob2-plugin

ProB 2.0 Eclipse / Rodin Plug-in
JavaScript
1
star
18

zmq-experiment

zmq-experiment
C
1
star