mdesharnais

mdesharnais's Stars

• FiloSottile/age

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

  Language:Go15.7k148188474

• commonmark/commonmark-spec

  CommonMark spec, with reference implementations in C and JavaScript

  Language:Python4.9k151491313

• aruhier/gnome-terminal-colors-solarized

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

  Language:Shell1.9k9855358

• SGrondin/bottleneck

  Job scheduler and rate limiter, supports Clustering

  Language:JavaScript1.8k2419073

• jooby-project/jooby

  The modular web framework for Java and Kotlin

  Language:Java1.7k531.5k199

• IUCompilerCourse/Essentials-of-Compilation

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

  Language:TeX1.2k53104135

• LukasKalbertodt/programmieren-in-rust

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

  Language:Rust26752350

• idris-hackers/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.

  Language:Idris17817126

• jekor/redo

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

  Language:Haskell14412317

• jgresula/jagpdf

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

  Language:C++698029

• suhaibkhan/messageResource.js

  Javascript library for loading and using message resource property files.

  Language:JavaScript2241022

• WasmCert/WasmCert-Isabelle

  A mechanisation of Wasm in Isabelle.

  Language:Isabelle184

• SGrondin/map-reporting

  Interactive SVG maps

  Language:JavaScript12501

• SGrondin/flatifyJS

  Recursive Javascript flow control.

  Language:JavaScript51

• conrad-watt/wasm-pl-isabelle

  Language:Isabelle4411

• mdesharnais/mediatheque

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

  Language:PHP30

• mdesharnais/LOG210

  Language:Java21

• smlacombe/Martin_Samuel_LOG_120_TP1

  Language:Java22190

• smlacombe/martin_samuel_tp3

  Language:Java22170

• smlacombe/MartinSamuelTp4

  Language:Java22210

• mdesharnais/LOG610_LAB4

  Language:Java10