maxbaxt

Software Engineer @graknlabs

Grakn Labs

Pinned Repositories

2048
A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)
Language:CSS0 1 00
behaviour
Grakn's Formal Verification System
Language:Gherkin0 0 00
Category_Theory_for_Programmers
Notes and challenges from Bartosz Milewski's Category Theory for programmers
Language:Scala0 1 00
client-java
Grakn Client for Java
Language:Java0 0 00
doctor_who
0 1 00
doge2048
doge2048
Language:CSS0 1 00
Essential_Scala
Notes from Essential Scala textbook
Language:Scala0 1 00
typedb
TypeDB: the power of programming, in your database
Language:Rust3.8k 119 2.4k338
typedb-behaviour
TypeDB Behaviour Test Specification
Language:Gherkin10 8 4619
typeql
TypeQL: the power of programming, in your database
Language:Java220 14 12246

maxbaxt's Repositories

maxbaxt/2048
A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)
Language:CSS0 1 00
maxbaxt/behaviour
Grakn's Formal Verification System
Language:Gherkin0 0 00
maxbaxt/Category_Theory_for_Programmers
Notes and challenges from Bartosz Milewski's Category Theory for programmers
Language:Scala0 1 00
maxbaxt/client-java
Grakn Client for Java
Language:Java0 0 00
maxbaxt/doctor_who
0 1 00
maxbaxt/doge2048
doge2048
Language:CSS0 1 00
maxbaxt/Essential_Scala
Notes from Essential Scala textbook
Language:Scala0 1 00
maxbaxt/grakn
Grakn Core: The Knowledge Graph
Language:Java0 0
maxbaxt/grakn-chess
Experimental chess puzzle solver
1 0
maxbaxt/graql
Graql: Grakn Query Language
Language:Java0 0
maxbaxt/Kelkoo_Research
For Imperial/Kelkoo co-op
1 0
maxbaxt/Project_Euler
1 0
maxbaxt/Scala-Tutorial
Notes from reading the "Essential Scala" book
1 0