Giters
SimonForest

SimonForest

Geek Repo

2

followers

1

following

6

stars

Github PK Tool:Github PK Tool

Organizations
StealthGames

SimonForest's repositories

3-pasting-example

An agda formalization of a 3-dimensional pasting scheme.

Language:AgdaStargazers:1Issues:0Issues:0

cateq

Language:OCamlStargazers:1Issues:1Issues:0

ladja

A left adjointness assistant library

Language:OCamlStargazers:1Issues:0Issues:0

KahnNet

Projet de systèmes et réseaux

Language:OCamlStargazers:0Issues:0Issues:0

satex

String diagrams in LaTeX.

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:0Issues:0

VimFStar

A Vim mode for FStar with interactivity

Language:Vim ScriptLicense:VimStargazers:0Issues:1Issues:0