Skip to content
View MarekPrim's full-sized avatar
🚲
Working from Vallnord
🚲
Working from Vallnord
1 follower · 7 following
  • Andorra, La Massana

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Quickdraw

Block or report MarekPrim

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
MarekPrim/README.md

Hello there, I'm KLG aka MarekPrime

I'm an CS engineer for the French Alternative Energies and Atomic Energy Commission


I'm highly specialized in full-stack development with an all JS stack

Far from web dev, I'm also quite fond of formal proof and software verification (still does not put food in the plate but working on it ! 🔥 Now worked on it, go see my work on Frama-C !!

Things I mainly use :

Node TypeScript JS Windows 10 Debian React Bootstrap MaterialUI Meteor MongoDB Docker Kafka K8s Ada Visual Studio Code C# MaterialUI .Net Sass Styled Component VueJS Lit

Formal proof and affiliateds :

Ocaml Frama-C (mostly WP) BINSEC Coq TLA+ Eclispe Modeling Framework

XText Ecore Sirius Event-B Rodin

Things I know and sometime use :

Java C
PostgreSQL Python
PHP MarkDown

How to reach me

My setup

MarkDown

Pinned Loading

  1. LeafletOnMeteor LeafletOnMeteor Public

    JavaScript

  2. Joodle Joodle Public

    Java