Pinned Repositories
bloomfwd
Parallel and efficient IP lookup algorithms using Bloom filters, multi-index hybrid tries, and priority tries.
dotfiles
Vim and NeoVim configs.
haskell-scotty-tutorial
Source code for a Scotty tutorial I wrote at my blog.
ios-supply
miht
C implementation of a Multi-Index Hybrid Trie (MIHT) for efficient forwarding of IPv4 datagrams.
myth-reborns
ocaml-exercises
Solutions to https://ocaml.org/exercises
pesca
pesca: Proof Editor for Sequent Calculus (mirror)
pfec
An exploration of cryptographic protocols and REST-based web servers in Haskell.
tr2-final
lucch's Repositories
lucch/pesca
pesca: Proof Editor for Sequent Calculus (mirror)
lucch/haskell-scotty-tutorial
Source code for a Scotty tutorial I wrote at my blog.
lucch/ios-supply
lucch/myth-reborns
lucch/tr2-final
lucch/bloomfwd
Parallel and efficient IP lookup algorithms using Bloom filters, multi-index hybrid tries, and priority tries.
lucch/dotfiles
Vim and NeoVim configs.
lucch/miht
C implementation of a Multi-Index Hybrid Trie (MIHT) for efficient forwarding of IPv4 datagrams.
lucch/ocaml-exercises
Solutions to https://ocaml.org/exercises
lucch/pfec
An exploration of cryptographic protocols and REST-based web servers in Haskell.
lucch/WExpression
lucch/alexandrelucchesi.github.io
Blog pessoal
lucch/couchdb-conduit
Couch DB client library
lucch/exoticdev.github.io
exoticdev
lucch/hyperMapTextProcessing
lucch/juniorcabral-com
lucch/lucch.github.io
Personal blog.
lucch/oakTest
lucch/parallel-programming-cilk-plus
lucch/parallel-programming-ex01
Parallel Programming - Exercise 01
lucch/parallel-programming-ex02
lucch/parallel-programming-ex03
lucch/qlibc
qLibc is a simple and powerful C library
lucch/skeleton
Base web project using technologies such as: Spring 3 MVC, Thymeleaf, Hibernate and Twitter Bootstrap.
lucch/slug
Type-safe slugs for Yesod ecosystem
lucch/stack
The Haskell Tool Stack
lucch/tutorials
Source codes of our tutorials.
lucch/unifrases
lucch/voucherify-ruby-sdk
Ruby SDK for Voucherify - coupons, vouchers, promo codes
lucch/yesod-content-pdf
Library for serving PDF content from a Yesod Application