Discover @fferreira Open Source projects

Francisco Ferreira (@fferreira)

fferreira

Stars
24
Global Rank 571,305 (Top 20 %)
Followers 36
Following 5
Registered over 16 years ago
Most used languages

Haskell
28.6 %

OCaml
28.6 %

C++
28.6 %

Agda 14.3 %
Location 🇬🇧 United Kingdom
Country Total Rank 21,374
Country Ranking

Agda 30

OCaml
91

Haskell
372

C++
2,627

LogicParser

An example of a parser using menhir, ulex with unicode and ocamlbuild

ICFP2012

ICFP 2012 Programming Contest - Template MetaProgramming in C++ Solution

babybel

A baby version of Beluga's contextual objects for OCaml

hnh

HNH is Not Haskell

NbE

Exploring Normalization by Evaluation

mil

It's a simple image processing library in c++.

dup

A simple duplicate file finder