Discover @bitonic Open Source projects

Francesco Mazzoli (@bitonic)

bitonic

Stars
472
Global Rank 60,798 (Top 3 %)
Followers 265
Following 6
Registered almost 14 years ago
Most used languages

Haskell
64.9 %

JavaScript
10.8 %

C
8.1 %

Rust
5.4 %

Agda 2.7 %

Assembly
2.7 %

Python
2.7 %

Erlang
2.7 %
Location <UNKNOWN>
Country Total Rank 238

pipes-speed-test

wadump

Small utility to dump data from the multi-device WhatsApp web client.

suggest

Simple auto completion web server

mazzo.li

Source for https://mazzo.li

tog

hakyll-agda

Hakyll support for Agda literate files

zurihac-plays

sundown

Haskell bindings to the sundown markdown library

ml-w

Minimal ML language to to demonstrate the W type infererence algorithm

ny-haskell-agda

Code and slides form my talk at NY Haskell

anapo

micrograd-ad

kant

Core dependent language based on OTT (someday)

x62-fancontrol

agdastuff

Assorted Agda code.

haskell-readability

Short article about Haskell, python, and readability

bson-mapping

type safe mapping between algebraic data types and bson documents.

pitch-control

reskell

A clone of hacker news in happstack

kyotocabinet

Mid level Haskell bindings to KyotoCabinet

language-spelling

Haskell library meant to be a set of tools to correct spelling mistakes, homophones, and OCR errors

YouTubePlayer

MooTools class that wraps the YouTube player JavaScript API.

malice

Compiler for a really special language.

troppotardi

hs-cam-filter

puzzlescript-rs

cpdt-agda

Partial translation of http://adam.chlipala.net/cpdt/ in Agda

ml

Parser/TypeChecker/Compiler for a simple flavour of ML.

wordwang2

andreaciofi

quatris

Tetris clone with AI and bastard mode

swine

2048hs

2048 + AI in Haskell

zoli-shake

fancontrol

Stupid fancontrol script, since nothing else seems to work for me.

dependencies

Analyze module dependencies in erlang apps

ghc-timers

dogfights

gogh

Haskell templates, similar to Google Closure templates