mdesharnais

age

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

WasmCert-Isabelle

A mechanisation of Wasm in Isabelle.

wasm-pl-isabelle

Essentials-of-Compilation

A book about compiling Racket and Python to x86-64 assembly

messageResource.js

Javascript library for loading and using message resource property files.

programmieren-in-rust

Course page „Programmieren in Rust“, University Osnabrück (German!)

jooby

The modular web framework for Java and Kotlin

commonmark-spec

CommonMark spec, with reference implementations in C and JavaScript

idris-koans

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

bottleneck

Job scheduler and rate limiter, supports Clustering

map-reporting

Interactive SVG maps

redo

djb's redo implementation in Haskell (for Haskell from Scratch video series)

gnome-terminal-colors-solarized

Solarized Gnome Terminal colors, based on http://ethanschoonover.com/solarized

flatifyJS

Recursive Javascript flow control.

LOG610_LAB4

LOG210

MartinSamuelTp4

martin_samuel_tp3

Martin_Samuel_LOG_120_TP1

mediatheque

Projet de médiathèque du département de musique du cégep de Trois-Rivières

jagpdf

A library for generating PDF documents in C/C++, Python and Java (no longer maintained).