lucch

pesca

pesca: Proof Editor for Sequent Calculus (mirror)

haskell-scotty-tutorial

Source code for a Scotty tutorial I wrote at my blog.

ios-supply

myth-reborns

tr2-final

bloomfwd

Parallel and efficient IP lookup algorithms using Bloom filters, multi-index hybrid tries, and priority tries.

dotfiles

Vim and NeoVim configs.

miht

C implementation of a Multi-Index Hybrid Trie (MIHT) for efficient forwarding of IPv4 datagrams.

ocaml-exercises

Solutions to https://ocaml.org/exercises

pfec

An exploration of cryptographic protocols and REST-based web servers in Haskell.

WExpression

alexandrelucchesi.github.io

Blog pessoal

couchdb-conduit

Couch DB client library

exoticdev.github.io

exoticdev

hyperMapTextProcessing

juniorcabral-com

lucch.github.io

Personal blog.

oakTest

parallel-programming-cilk-plus

parallel-programming-ex01

Parallel Programming - Exercise 01

parallel-programming-ex02

parallel-programming-ex03

qlibc

qLibc is a simple and powerful C library

skeleton

Base web project using technologies such as: Spring 3 MVC, Thymeleaf, Hibernate and Twitter Bootstrap.

slug

Type-safe slugs for Yesod ecosystem

stack

The Haskell Tool Stack

tutorials

Source codes of our tutorials.

unifrases

voucherify-ruby-sdk

Ruby SDK for Voucherify - coupons, vouchers, promo codes

yesod-content-pdf

Library for serving PDF content from a Yesod Application