Geeks
jbwheatley
Company:
@permutive
Location:
London
jbwheatley Home
jbwheatley GitHub
8
Repos
14
Stars
12
Followers
7
Following
Pinned Repositories
pact4s
Language:
Scala
29
4
69
11
probabilisticBisimulation
1
2
0
0
rationality
Type-level rational encoding
Language:
Scala
4
2
0
0
truthSerum
Language:
Scala
6
2
0
0
jbwheatley's Repositories
jbwheatley/
pact4s
Language:
Scala
29
4
69
11
jbwheatley/
truthSerum
Language:
Scala
6
2
0
0
jbwheatley/
rationality
Type-level rational encoding
Language:
Scala
4
2
0
0
jbwheatley/
probabilisticBisimulation
1
2
0
0
jbwheatley/
lgtv-controller
Language:
Scala
2
0
jbwheatley/
solovayCompleteness
2
0