CHAUVIN Barnabé (@QuanticPotato)
github

QuanticPotato

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Rank 1,018,040 (Top 36 %)
  • Followers 9
  • Following 3
  • Registered about 10 years ago
  • Most used languages
    Python
         25.0 %
    Vim Script
         25.0 %
    OCaml
         25.0 %
    C++
         25.0 %
  • Location 🇫🇷 France
  • Country Total Rank 20,361
  • Country Ranking
    OCaml
         310
    Vim Script
         338
    C++
         2,219
    Python
         9,035

Top repositories

1

supertux-nspire

An adaptation of the SuperTux game for the TI-nspire calculator.
C++
5
star
2

xor-cracker

Try to guess XOR key
Python
2
star
3

SAMPL

Still another math proofs library !
OCaml
1
star
4

vcoq

A vim plugin, to provide a user-friendly interface in order to use the Coq Proof Assistant.
Vim Script
1
star