Bromind

pi-lambda

A language based on merging the lambda-calculus and the pi-calculus

ST30_Benchmark

A set of benchmark to compare (multiparty) session types

nuscr

A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

Bogobot

Bot for Lauzhack2017

new_page

R-flexions

Réflexions sur différents points de la vie quotidienne

Semester-project

Repo for my semester project @ DSLab

tarot

Tarot Score counter

ANFK

Another not-funny kernel (experiences on raspberry)

Bash-collections

Provides bash implementations for collections.

LaTeX-packages

A bunch of LaTeX packages

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

detecteur-bullshit

Une liste d'astuce pour sensibiliser son esprit à la détection de bullshit

DIS

Distributed Intelligent System project (2015)

K-FetOS

Micro-kernel for Marc Pouzet Operating System '15 class at ENS Ulm

Lauzhack

Lauzhack repo

nb_path

Programme pour calculer le nombre de chemin entre deux points dans un graphe.

overlay

Personnal portage/layman overlay

petgraph

Graph data structure library for Rust.

pocs

One pager for POCS course @ EPFL.

rfs

Remote filesystem (mirror of https://framagit.org/rfs/rfs)

rumpsteak_capabilities_install

Tool(s) to set up rumpsteak to work with capabilities

rust

s4

R. Guerraoui 's distributed algorithm optionnal project

save_my_gentoo

Save necessary file to restore your gentoo (world, package.use, etc...)

Starthack

Starthack 2017 (St. Gallen)

stm

STM implementation for R. Guerraoui course.

todo.txt-cli

☑️ A simple and extensible shell script for managing your todo.txt file.

yaomr

Starthack 2018

zola

A fast static site generator in a single binary with everything built-in. https://www.getzola.org