Cédric (altaris)

altaris

Geek Repo

Company:RIKEN

Location:Japan

Home Page:https://cedric.hothanh.fr

Github PK Tool:Github PK Tool


Organizations
seitalab

Cédric's repositories

seat-navy-issue

Not affiliated with the original SeAT

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

bibliography

My main bibliography file :books:

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

pumba

Docker :whale: + Python 3 :snake: + Git :octopus: = Pumba :pig2:

Language:ShellLicense:MITStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

supreme-pancake

[WIP] REST API -> JSONPath -> Google Sheet

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

opetopy

Proof assistant for opetope and opetopic set derivation systems :snake: :mortar_board:

Language:PythonLicense:MITStargazers:15Issues:0Issues:0

portacl

Portainer ACL from container labels

Language:PythonLicense:MITStargazers:7Issues:0Issues:0

fapy

Fun (?) with finite automata in python

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

freemobile-smsapi

Python wrapper for the SMS API of FreeMobile

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

docker-telegram-bot

This telegram bot allows you to manage your docker deamon

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

docker-texlive

A dockerized texlive 🐳

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

potatos

Personal OS experiment :sweet_potato: :-1:

Language:C++License:MITStargazers:0Issues:0Issues:0

htpy-str-omegacat

Unofficial notes from the lectures of François Métayer ``Homotopy Theory of Strict $\omega$-Categories''

Language:TeXStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

gifreader

A gif reader (duh) :movie_camera:

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

usus

User Setup, Utter Showoff :ok_hand: :ok_hand: :ok_hand:

Language:ShellStargazers:0Issues:0Issues:0