bendisposto/evalB bendisposto/evalB

  • This repository has been archived on 30/Apr/2019
  • Stars
    star
    4
  • Rank 3,297,836 (Top 66 %)
  • Language
    JavaScript
  • License
    Eclipse Public Li...
  • Created over 12 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bendisposto/evalB
github

bendisposto

Reviews

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

Repository Details

More Repositories

1

prob2

ProB 2.0
Java
11
star
2

probparsers

ProB Parser library
Java
9
star
3

dojo

JavaScript
8
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