Xavier Denis

Elite
@xldenis

databases, verification & rust @ turbopuffer

besm. Resurrecting PP-BESM

30

ill. educational compiler for not (quite) toy languages

21

whycode. OCaml

19

stackqueue. Use stackoverflow to find out how much you know.

15

crdocs. distributed crdt based document editor running in wasm

8

cdsat. cdsat

7

rhb-specs. Rust

6

MGC. comp 520 go compiler

6

polonius-demo. polonius-demo

5

dynamit. Simplify your web.

4

serde-implicit. implicitly tagged enum representation for serde

4

symexec. Rust

4

mittens. Haskell

3

why3-tools. Tools to interact with why3 sessions

3

xldenis.github.com. HTML

2

boogie. A (not yet) complete implementation of a Boogie parser and pretty-printer

2

lockfree-object-pool. Object Pool LockFree in Rust

1

ruby. Haskell

1

todo. My public todo list. Feel free to add an item or open an issue.

1

hliquid. Haskell Liquid templating library

1

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

1

Liberator. LASA Newspaper

1

calc. a simple line calculator

1

qqreg. Quick Registration for mchacks

1

tool-lib. Rust

1

hake. Haskell

1

ferros. barebones rust-lang os

1

xav.io. xav.io

1
28
Apply