0xd34df00d

icon indicating a website link https://0xd34df00d.me

icon location TX, US

Results 8 repositories owned by 0xd34df00d
trafficstars

coformat

16
Stars
0
Forks
Watchers

Produce a clang-format file from some sample source code

verified publisher icon 0xd34df00d

fizzbuzz-i

23
Stars
0
Forks
Watchers

FizzBuzz, formally verified, provably correct

verified publisher icon 0xd34df00d

hwc

21
Stars
3
Forks
Watchers

wc implemented in Haskell

verified publisher icon 0xd34df00d

IAmMad

49
Stars
4
Forks
Watchers

Inlining Automagical Metaprogramming Analytical Differentiation

verified publisher icon 0xd34df00d

inline-asm

40
Stars
1
Forks
Watchers

Inline Assembly code in ur Haskell!

verified publisher icon 0xd34df00d

leechcraft

190
Stars
56
Forks
Watchers

LeechCraft is a free open source cross-platform modular internet-client. LeechCraft allows to browse the web, read RSS/Atom feeds, download files via BitTorrent, FTP, HTTP and DC, automatically downlo...

verified publisher icon 0xd34df00d

refinedt

57
Stars
6
Forks
Watchers

Refinement types + dependent types = ❤️

verified publisher icon 0xd34df00d

you-dont-know-cpp

17
Stars
2
Forks
Watchers

You don't know C++

verified publisher icon 0xd34df00d