Simmo Saan
sim642
Computer scientist: static program analysis, programming languages
University of Tartu Estonia
Typst
typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
Berlin
Rocq-community
rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
Code Bullet
Code-Bullet
Welcome to Code Bullet, this is where I will upload all the source code for my Youtube videos. If you haven't seen my channel then check it out.
4skl
Learning by creating. Self-taught master of web languages. I work on app development and other fun projects.
I <3 research, let's work together !
4skl France
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken