Make Gentzen-style derivations via drag-and-drop. This is currently a solo project. Built with Svelte and ProseMirror.
(Read more…)[https://www.twine.net/signin
- Front-End Developer
- Full Stack Developer
- Game Developer
- +2
Can Baykar
- Melbourne, Australia
- 2 projects
I’m a math graduate currently working on an educational proof assistant personal project called Twig, built with Svelte and ProseMirror. I’m looking for a full-time development job.
About
I’m a math graduate currently working on an educational proof assistant personal project called Twig, built with Svelte and ProseMirror.
I’m looking for a full-time development job. I’m comfortable working with or without LLM-based tools, and I try not to rely on them when learning or doing research.
I’m familiar with web development using modern frameworks (such as React and Svelte), graphics programming with WebGL, and functional programming with the Lean theorem prover.
I enjoy participating in game jams and experimenting with creative tools like ShaderToy, Filter Forge, and Blender.
Some areas I’m currently studying on my own include compiler programming, safety-critical software, and category theory.
- Joined April 2026
Languages
- TurkishFluent
- EnglishFluent
Industry experience
- Software & Internet
- Media & Entertainment
Projects · 2
Make Gentzen-style derivations via drag-and-drop. This is currently a solo project. Built with Svelte and ProseMirror.
Read more at https://www.twine.net/signin
- Developer
Work experience
Cybersecurity Intern · TR Ministry of Treasury and FinanceJun 2023 – Aug 2023 · 3 mos
Summer 2023 internship focusing on cybersecurity practices; supported security tasks and learning in government context
Education
Bachelor’s Degree in Mathematics (English) · Ankara University2030 – 2024
Semester study abroad (Erasmus+) · Catania University2026 – 2024
Hire Can Baykar today
Post a job and invite Can, or contact them directly. No hidden commission.