Discover @0xd34df00d Open Source projects

@0xd34df00d

0xd34df00d

Stars
516
Global Rank 56,176 (Top 2 %)
Followers 266
Following 8
Registered almost 16 years ago
Most used languages

Haskell
65.7 %

Idris 11.4 %

C++
8.6 %

CSS
2.9 %

C#
2.9 %

C
2.9 %

Erlang
2.9 %

Agda 2.9 %
Location 🇺🇸 United States
Country Total Rank 14,970
Country Ranking

Agda 4

Idris 7

Haskell
170

Erlang
548

C++
1,347

leechcraft

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 download, play or stream podcasts (and other media files) and much more.

refinedt

Refinement types + dependent types = ❤️

IAmMad

Inlining Automagical Metaprogramming Analytical Differentiation

inline-asm

Inline Assembly code in ur Haskell!

fizzbuzz-i

FizzBuzz, formally verified, provably correct

hwc

wc implemented in Haskell

you-dont-know-cpp

You don't know C++

coformat

Produce a clang-format file from some sample source code

hsqoi

Haskell implementation of the QOI image format

can-i-haz

Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError

necogda

Agda for neovim

lcss

Web site for LC

cohabr

Qross

Qross is a Qt-only fork of Kross, the KDE scripting framework, for the LeechCraft project

binary-generic-combinators

Combinators and utilities to make Generic-based deriving of Binary easier and more expressive

sorts

Provably correct merge sort

cppfilt

Haskell library to demangle C++ function names

edit-distance-linear

Levenshtein edit distance in linear memory (also turns out to be faster than C++)

lc-sync-server

Synchronization server for the LeechCraft project.

cmake-syntax

A library for parsing CMake syntax

hastefm

Fetch some additional artist info from Last.FM (as a part of LC)

counting-chars

Small and stupid benchmarking of ways of counting a char in a big string

monad-metrics-extensible

Type-safe and extensible metrics monad over ekg

enum-subset-generate

Generate an ADT with a subset of constructors of another ADT, along with mapping functions

gennl

Generating non-linear autoregression models

lcupackages

Userspace packages for LeechCraft — script extensions, themes, data and stuff.

hencil

Pencil falling simulated.

muzak

Free as in "free monads"

morlock

Monadic lock-free algorithms representation and analysis

idris2-indexed-vect

Indexed vectors for Idris!

lcsynctest

Simple client for LC sync stuff.

reading-programming-in-mltt

Notes for the "Programming in Martin-Löf's Type Theory" book

counting-chars-ghc-simd

What would GHC SIMD primops allow me to do?

hrt

regex-memo-lat

pgidr

PostgreSQL Idris bindings

naive-nfa-runner