bromind Goto Github PK

anfk

Another not-funny kernel (experiences on raspberry)

bash-collections

Provides bash implementations for collections.

bogobot

Bot for Lauzhack2017

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)

essay

How to improve privacy on the Internet.

k-fetos

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

latex-packages

A bunch of LaTeX packages

lauzhack

Lauzhack repo

nb_path

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

nuscr

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

overlay

Personnal portage/layman overlay

pi-lambda

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

pocs

One pager for POCS course @ EPFL.

r-flexions

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

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...)

semester-project

Repo for my semester project @ DSLab

st30_benchmark

A set of benchmark to compare (multiparty) session types

starthack

Starthack 2017 (St. Gallen)

stm

STM implementation for R. Guerraoui course.

tarot

Tarot Score counter

todo.txt-cli

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

traintravel

A java program to prepare travel in train (Switzerland & French train names). Export .tex files

yaomr

Starthack 2018