Jens Bendisposto (@bendisposto)
github

bendisposto

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    55
  • Global Rank 319,043 (Top 11 %)
  • Followers 120
  • Following 9
  • Registered over 14 years ago
  • Most used languages
    Java
         47.4 %
    Clojure
         26.3 %
    JavaScript
         15.8 %
    Prolog
         5.3 %
    C
         5.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 14,554
  • Country Ranking
    Prolog
         100
    Clojure
         175
    Java
         1,693
    JavaScript
         5,434
    C
         6,347

Top repositories

1

prob2

ProB 2.0
Java
11
star
2

probparsers

ProB Parser library
Java
9
star
3

dojo

JavaScript
8
star
4

evalB

JavaScript
4
star
5

bla

B Lisp Animator
Clojure
2
star
6

prob2_tooling_template

Java
2
star
7

reframe-cytoscape

Clojure
2
star
8

sablecc-stups

Java
2
star
9

prob2-ui

Java
2
star
10

microkanren

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

xperiment_jenkins

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

JVersionNumberer

Java
1
star
13

E4-TestApp

Java
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

quickcheck_rheinjug

Clojure
1
star
19

zmq-experiment

zmq-experiment
C
1
star