François Garillot (@huitseeker)
github

huitseeker

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    56
  • Global Rank 315,006 (Top 11 %)
  • Followers 501
  • Following 305
  • Registered over 16 years ago
  • Most used languages
    Rust
         28.6 %
    Verilog     28.6 %
    Python
         14.3 %
    C++
         14.3 %
    Emacs Lisp
         14.3 %
  • Location 🇨🇦 Canada
  • Country Total Rank 7,963
  • Country Ranking
    Verilog     51
    Rust
         263
    Emacs Lisp
         288
    C++
         5,761
    Python
         7,169

Top repositories

1

comby-rust

Rust refactoring templates for comby, the structural find-and-replace tool.
Rust
33
star
2

git-wordcount

An ad-hoc script to count words in my thesis repository, and build a status page using pygooglechart
Python
5
star
3

thesis-spikes

Some Ssreflect demos and code snippets mentioned in my manuscript
Verilog
4
star
4

safe-api

an exploration of type-level SAFE
Rust
2
star
5

sofia-ml

Automatically exported from code.google.com/p/sofia-ml
C++
1
star
6

dotfiles

My dotfiles. Caveat emptor.
Emacs Lisp
1
star
7

nbe

Normalization by evaluation in Coq
Verilog
1
star