Julien Cretin (@ia0)
github

ia0

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    180
  • Global Rank 133,686 (Top 5 %)
  • Followers 57
  • Following 31
  • Registered over 13 years ago
  • Most used languages
    Rust
         60.0 %
    C
         20.0 %
    Coq     10.0 %
    Haskell
         10.0 %
  • Location πŸ‡¨πŸ‡­ Switzerland
  • Country Total Rank 1,456
  • Country Ranking
    Coq     5
    Rust
         33
    Haskell
         65
    C
         913

Top repositories

1

data-encoding

Efficient and customizable data-encoding functions in Rust
Rust
148
star
2

lafont

Animation of Yves Lafont's Interaction Combinators
Rust
12
star
3

GhcKindsExamples

Examples and tests for ghc-kinds branch of GHC
Haskell
5
star
4

onekibu

USB keyboard firmware for devices with a single button
Rust
5
star
5

fcc

Coq formalization of System Fcc (coercion framework)
Coq
3
star
6

number-encoding

Combinatorial and factorial number systems
Rust
2
star
7

ffactor

Factored files management tool
C
1
star
8

stdio-vs-unistd

File operations comparison between stdio and unistd
C
1
star
9

advent-of-code

Solutions for the Advent of Code
Rust
1
star
10

unsafe-mental-model

Mental model for unsafe in Rust
Rust
1
star