fferreira Goto Github PK

babybel

A baby version of Beluga's contextual objects for OCaml

cookie-lock

A firefox plugin that adds a contextual menu to block and un-block cookies from a site

coq-equations

A plugin for Coq to add dependent pattern-matching.

cuentacuentos

A place for my experiments with Twine

dup

A simple duplicate file finder

epigram

Mirror of Epigram darcs repository (darcs-fastconvert export of http://www.e-pig.org/darcs/Pig09 | git fast-import)

graphics

The Graphics library from OCaml, in a standalone repository

hnh

HNH is Not Haskell

icfp2012

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

insort

Some experiments with insertion sort using Agda.

logicparser

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

mabos

metalib

The Penn Locally Nameless Metatheory Library

mil

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

miskatino-basic

BASIC interpreter for Arduino and STM32

nbe

Exploring Normalization by Evaluation

pedro

Petri nets as global types.

pi-calculus

A formalisation of the π-calculus in Coq version 8.18.0

pimoroni-pico

Libraries and examples to support Pimoroni Pico add-ons in C++ and MicroPython.

regexp

Regular Expression

repeter

Une implementation simple de Répéter

runnything

A Silly Tool to Run Javascript

stlc-norm

system-f-agda

A formalization of the polymorphic lambda calculus extended with iso-recursive types

thomas

A PEG parser generator

tiny

wordle_helper

Learning Pyton with notebooks and a simple game