Benoรฎt Viguier (@ildyria)
github

ildyria

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    44
  • Global Rank 371,188 (Top 13 %)
  • Followers 99
  • Following 15
  • Registered over 13 years ago
  • Most used languages
    Python
         33.3 %
    C++
         22.2 %
    Lua
         22.2 %
    C
         11.1 %
    Coq     11.1 %
  • Location ๐Ÿ‡ณ๐Ÿ‡ฑ Netherlands
  • Country Total Rank 5,673
  • Country Ranking
    Coq     14
    Lua
         83
    C++
         1,300
    C
         1,998
    Python
         2,554

Top repositories

1

iFilger

Light power aura classic with aura by defaults.
Lua
23
star
2

dotfiles

Python
5
star
3

Arimaa

C++
3
star
4

Advanced-Git-In-30minutes

Python
3
star
5

bib.py

Simple script to align and check your file.bib.
Python
2
star
6

Tukui_DrTracker

A little DrTracker for Tukui Arena Frames
Lua
2
star
7

MorusBias

C
1
star
8

ProjectEuler

My solutions to ProjectEuler's problems
C++
1
star
9

coq-verif-tweetnacl

mirror of https://gitlab.science.ru.nl/benoit/tweetnacl
Coq
1
star