Help & Supportcareers@gravityer.com
ד שְׁמַע, יִשְׂרָאֵל: אֲדֹנָי אֱלֹהֵינוּ, אֲדֹנָי אֶחָד. \n\n last at @IvanAtDealEngine
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
simple-mailbox.c
May 28, 2026 – Present
A very simple mailbox for constrained enviroments
View Projectgithubmillscala
July 24, 2023 – July 25, 2023
A Mill Module for publishing into the GitHub Maven Repository
View Projectvoices-of-the-void.nix
April 23, 2023 – April 23, 2023
voices-of-the-void.nix — GitHub repository
View Projectgametemplate.libgdx.scala
March 3, 2023 – March 3, 2023
gametemplate.libgdx.scala — GitHub repository
View Projectdem.colmex.perl
August 16, 2022 – August 16, 2022
Query the COLMEX's DEM dictionary from CLI or using unix pipes.
View Projectsims4moddingboilerplate
May 29, 2022 – May 29, 2022
sims4moddingboilerplate — GitHub repository
View Projectspecifying-verifying-tail-recursion
April 9, 2022 – November 18, 2022
Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"
View ProjectCultural Fit Analysis
The candidate's personal projects demonstrate a strong inclination towards open-source contributions and exploring various technologies (Scala, Go, C++, Perl, Nix, Agda). This breadth of interest and self-driven learning could indicate a good cultural fit for environments that value continuous learning and technical curiosity. The focus on functional programming (Scala, Agda) and low-level systems (C, Go) suggests a versatile problem-solver.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. The candidate's project descriptions are concise and technical, but do not provide insight into collaboration, problem-solving approach, or communication style.