Hello! I'm Charlotte THOMAS, 21 yo, and currently a Computer Science Student @ University of Rennes (France, 35).
I was formerly in prépa but due to health related problems I failed, I then went to University for the September 2022 semester.
I study Theoretical Computer Science on the side, focussing on formal languages. My language of choice is now OCaml or Rust and I have ten years of experience coding in java
Links:
I spent the last two years in prépa in Lycée Michel de Montaigne, Bordeaux before that I prepared the French High School Diploma at Lycée Gustave Eiffel, Bordeaux.
I'm now at ISTIC, Beaulieu Campus, Rennes University. In third year of a BSc, majoring in CS.
-
Radio intervention (on free software), podcast available here (french)
-
Talk at Pas Sage En Seine (Choisy-Le-Roi, France, 94) on exotic programmation as a tool for students and professors.
-
Last year I was in research internship at PACAP @ IRISA/Inria Rennes, Team PACAP from february until July, where I worked on 3D printing to optimize code, starting with mathematical transformation of GCode.
I spent a month working in the IT department of the French Direction Générale des Finances Publiques (which is somewhat equivalent to the IRS to be simple).
I'm a Queer, transgender, intersex and asexual girl based in France. Advocating for trans right and intersex right, I follow an intersectional feminism open to all, in support of all women.
As you probably deduced from the badges. Yes. I like the trans flag. A lot.
On HRT for more than four years now, I legally changed my name to Charlotte Ophélie Margot, and gender to female, if you need help getting medical health care / starting a transition / have a transgender or intersex related question please email me at either one of these addresses:
- charlotte.sfiacademy [at] gmail.com
- charlotte [at] nwa2coco.fr
You can ask me for a legal transition package which packs a lot of informations to do a legal transition in France. I'll send it to you.
See my pronouns page here
My favourite projets / active are:
- Calc: A fully featured minimalistic rust calculator, licensed in GPLv3, available on GitHub
- The Baguette# ecosystem : currently the interpreter is finished, being uploaded on the OPAM repositories. Written in OCaml using dune, published under the GPLv3 license
- Boulangerie, part of the Baguette# ecosystem, discover Boulangerie, the Baguette# package manager
- STARFinder : A project to learn Scala and its Java-interaction features, find your bus stops in Rennes with a logic language parser
These projects are either abandoned or archived, you can use them (most of them are under the MIT Licence, consider those without licences as CC0) but I do not provide any support whatsoever
-
Stories A website to centralise my stories and web novels. Written in Markdown, powered by GH-Page
-
A Galactic HRT My main Science-Fiction/Drama/Tragedy/Romance story in PDF/HTML, written in LaTeX converted to HTML later.
-
Wakatime Libreoffice A WIP extension for LibreOffice to provides community support for wakatime for LibreOffice/OpenOffice
-
AngryCAS The most angry and cynical CAS ever. Written in OCaml using dune
-
HTMLFromTeXBooks A simple program to transforms TeX Books (simple) in HTML (for publishing on ScribbleHub for example!)
-
Automatic Report System a client-server ecosystem mostly written in Java to automate reports to a hierarchy composed of
- Automatic Report Server The server written in Java, powered by SparkJava
- Automatic Report Website The new web-based client, written in Java, powered by Vaadin
- ARSAuth The Authentification server providing tokens for the API.
-
KSPController A Java based code (using kRPC mod and API) to connect to a kRPC server and control a rocket in Kerbal Space Program with components, interfacing with a Raspberry Pi Zero
-
AdafruitSeesawJava A Java Driver using I2C and Pi4J to interface with the Adafruit Seesaw Expander for Raspberry Pi
-
BaguetteSharp OG The Original Baguette# forked from Ikea# in GO, the new version is much better but this started everything.
I recently started writing. Go check my ScribbleHub page or my stories website