Xavier Denis (@xldenis)
github

xldenis

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    176
  • Global Rank 136,119 (Top 5 %)
  • Followers 218
  • Following 57
  • Registered about 14 years ago
  • Most used languages
    Haskell
         30.8 %
    Rust
         26.9 %
    JavaScript
         11.5 %
    OCaml
         7.7 %
    CSS
         7.7 %
    Assembly
         3.8 %
    SMT     3.8 %
    SCSS     3.8 %
    HTML
         3.8 %

Top repositories

1

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Rust
841
star
2

besm

Resurrecting PP-BESM
Haskell
25
star
3

ill

educational compiler for not (quite) toy languages
Haskell
20
star
4

whycode

OCaml
18
star
5

stackqueue

Use stackoverflow to find out how much you know.
JavaScript
15
star
6

crdocs

distributed crdt based document editor running in wasm
Rust
8
star
7

MGC

comp 520 go compiler
Haskell
6
star
8

rhb-specs

Rust
5
star
9

polonius-demo

polonius-demo
Rust
5
star
10

cdsat

cdsat
SMT
4
star
11

dynamit

Simplify your web.
CSS
4
star
12

mittens

Haskell
3
star
13

why3-tools

Tools to interact with why3 sessions
OCaml
3
star
14

boogie

A (not yet) complete implementation of a Boogie parser and pretty-printer
Rust
2
star
15

xldenis.github.com

HTML
2
star
16

hliquid

Haskell Liquid templating library
Haskell
1
star
17

tool-lib

Rust
1
star
18

hake

Haskell
1
star
19

toby

the @toby selfie blogging platform. Revolutionizing social networks one pic at a time. #nofilters
JavaScript
1
star
20

calc

a simple line calculator
Rust
1
star
21

ruby

Haskell
1
star
22

todo

My public todo list. Feel free to add an item or open an issue.
Haskell
1
star
23

ferros

barebones rust-lang os
Assembly
1
star
24

xav.io

xav.io
SCSS
1
star
25

Liberator

LASA Newspaper
JavaScript
1
star
26

qqreg

Quick Registration for mchacks
CSS
1
star