Language Breakdown
Lines of code distribution across 12 owned repositories
T-Shaped Developer
T-shapedDeep in C++ with broad versatility
Collaboration Network
Global Impact visualization
Repos
46
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Top Repositories
A tool for obtaining LTL formulas from a sample of positive and negative words.
An example of simulation of multiple robots in stage. They are using amcl node for localization.
A shared attempt to create a launch file for multiple turtlebots (under namespaces)
Hipster4j is a lightweight and powerful heuristic search library for Java and Android. It contains common, fully customizable algorithms such as Dijkstra, A* (A-Star), DFS, BFS, Bellman-Ford and more.
A fun Quint spec for showing at Runtime Verification conference
The integrated blockchain purpose-built for finance
Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.
Open Source Impact
Contributions to external projects
