Jonas De Vuyst
iOS Developer
Summary
👤
SeniorJonas De Vuyst is a senior iOS developer based in Dubai with 13 years of experience building user-focused mobile apps alongside backend and web-frontend components. He brings a strong interest in functional and statically typed languages, contributing to notable open-source language projects like Idris and Unison where he improved core REPL/CLI behavior and tooling. His PhD in philosophy, with research in formal logic, informs a rigorous approach to language design, program correctness, and robust library APIs. A Recurse Center alumnus who also completed part of a CS degree, Jonas blends academic rigor with practical engineering to deliver reliable, easy-to-use technical solutions.
13 years of coding experience
Github Skills (17)
programming-language10
idris10
functional-programming10
haskell10
unison10
testing9
filesystem9
file-management9
command-line-interface9
command-line9
cli9
epl8
language-design8
sys8
system-design8
Programming languages (7)
Github contributions (5)
idris-lang/Idris-dev
May 2017 - Oct 2017
A Dependently Typed Functional Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 commits, 3 PRs, 9 comments in 4 months
Contributions summary:Jonas contributed to the Idris language project by implementing and modifying core language features. They focused on improving the `IO` execution behavior within the REPL, adding functionality to print the values of `IO` expressions. The user also addressed errors, and made adjustments to test configurations to improve code generation. Finally, they implemented a primitive function for inequality using a built-in concept.
functional-programming-language
unisonweb/unison
Oct 2019 - Oct 2019
A friendly programming language from the future
Role in this project:Back-end Developer
Back-end DeveloperContributions:7 commits, 4 PRs, 6 comments in 7 days
Contributions summary:Jonas contributed to the Unison programming language project by modifying core components. They focused on improving the command-line interface, including the display of aliases within help messages. Additionally, the user worked on codebase management and file watching features, and they enhanced utility functions related to code formatting and library loading during startup. These commits indicate a focus on improving usability and functionality of the core language tools.
programming-languagehaskellunisonunison-language
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.