Giters
Josselin Poiret (jpoiret)

jpoiret

Geek Repo

12

followers

10

following

19

stars

Location:Europe

Home Page:https://jpoiret.xyz

Github PK Tool:Github PK Tool

Josselin Poiret's repositories

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

agda-categories

A new Categories library for Agda

Language:AgdaLicense:MITStargazers:0Issues:0Issues:0

cubical

An experimental library for Cubical Agda

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

git-filter-repo

Quickly rewrite git repository history (filter-branch replacement)

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

metacoq

Metaprogramming in Coq

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

proot

chroot, mount --bind, and binfmt_misc without privilege/setup for Linux

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0