faustind

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

puzzlesol

My solutions to some algorithmic and coding problems

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

reading-hermit

A reading report of the paper Reasoning with the HERMIT by Farmer et al, Haskell'15

dotfiles-legacy

api-design-node-v3

[Course] API design in Node with Express v3

intro-node-js

[Course] Code for Introduction to Node.js

webpack-workshop-2018

Learning resources for the webpack academy workshop series for 2018

hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

hid-examples

Examples to accompany the book "Haskell in Depth"

ML

AI related training

EPIJudge

EPI Judge - Preview Release

Park-Design

hl-equipment-manager

Vue.js tutorial

python-cookbook

Code samples from the "Python Cookbook, 3rd Edition", published by O'Reilly & Associates, May, 2013.

ThinkStats2

Text and supporting code for Think Stats, 2nd Edition

gone

Micro pomodoro CLI

learn-Go-the-hard-way

learn Go by coding.

jitt-api

api and presention for the jitt-app

jitt-app

ionic app for a Japanese IT terminology project

nord-gnome-terminal

An arctic, north-bluish clean and elegant GNOME Terminal color theme.

OCAndroidMooc

mooc-symfony

Code source du MOOC Symfony sur OpenClassrooms