tsouanas/tsoutapl

This repository has been archived on 14/Sep/2020
Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created over 7 years ago
Updated over 7 years ago

tsouanas/tsoutapl

tsouanas

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Lambda-calculus based systems from Pierce's "Types and Programming Languages" book, implemented in Haskell

fmcbook

Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)

lookbusy

Look busy doing nothing. Console screen saver.

aulabook-fmcmon

Teaching assistants' exercise classes for the FMC courses of IMD

thatex

ThaTeX macros for books, lecture notes, and exams

cryphoctl

Wrapper around bioctl(8) to control OpenBSD's crypto partitions.

nngtools

tools for teachers and students using nng (Natural Number Game)

tsoubsd

Sysadmin tool for OpenBSD