Help & Supportcareers@gravityer.com
Builder
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
seq-io
November 23, 2025 – November 23, 2025
Stream and display your database changes in real time, in Git-diff style.
View Projectweb-haskell-graphql-postgres-boilerplate
January 6, 2020 – March 29, 2023
Modern webserver in Haskell: Graphql + Postgresql + Authentication + DB migration + Dotenv and more
View Projectagda-mode
November 13, 2019 – November 12, 2025
Accessing Agda's interaction mode via command line & external tactic for Agda.
View ProjectHashedExpression
May 20, 2019 – June 12, 2020
Library in Haskell for Dynamically Storing Expressions and Code Generator for Various Non-Linear Optimization Solvers
View Projectintellij-dtlc
March 10, 2019 – October 18, 2021
IntelliJ plugin for several experimental programming languages here
View Projectpetri-app-land
September 5, 2018 – July 29, 2019
A model-driven approach to creating client-server web apps and multiplayer games.
View ProjectCultural Fit Analysis
The candidate's project portfolio is heavily focused on academic and functional programming languages (Haskell, Agda) and tooling (IntelliJ plugins). While this demonstrates intellectual curiosity and a strong technical foundation, there is a lack of direct Android-specific projects or experience. The diversity of technologies suggests an ability to learn, but the alignment with a typical Android development team's tech stack and project types is not immediately apparent. The candidate's experience level is listed as 0, which suggests a junior profile, but the projects indicate advanced theoretical knowledge.
Soft Skills & Operational Fit
Insufficient data to assess soft skills and operational fit. The candidate's project descriptions are concise, but there is no information on collaboration, problem-solving approaches, or communication style in a team setting.