moy Goto Github PK

ade2ics

My branch of http://code.google.com/p/ade2ics/

asynk

Flexible Bi-directional sync for Emacs BBDB, Google Contacts, and MS Outlook

compass2018

c'est du sabotage/de l'exploitation

cours-ldb

Cours de Logiciel de Base en Ensimag Apprentissage

cours-tlm

Supports pour le cours de « Modélisation Transactionnelle des Systèmes sur Puces »

darktable

darktable main repository

dtorg

dumb-project

Example repository with a few errors, as an exercice to fix them.

flycheck

On the fly syntax checking for GNU Emacs

ghash

Hash function with image output

git

Git Source Code Mirror

git-multimail

Send notification emails for pushes to a git repository (an improved version of post-receive-mail)

git.github.io

Git Developer Site

gitstats

Fork of http://gitstats.sourceforge.net/

kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

learn.github.com

GitHub Learning Series

leia

LEIA is a virtual asm created for some CS course. This project contain an assembly program, a simulator, and some basics assembly functions

logan

Example Vivado project with a master writing into memory

mechanicalsoup

A Python library for automating interaction with websites.

notion-scripts

Debianization for the contributed scripts for the notion window manager

piwigo-fotorama

piwigo-random

Insert random pictures from a Piwigo gallery on a website

progit

Pro Git Book Content

progit2

Pro Git 2nd Edition

pwg_stuffs

quenlig

Online interactive tutorial

requests

Python HTTP Requests for Humans™ ✨🍰✨

riscv-card

An unofficial reference sheet for RISC-V, the free and libre ISA from UC Berkeley.

sharness

Shell library to test your Unix tools like Git does

test

Test repository