-
Systerel
- Aix-en-Provence
-
lambdapi Public
Forked from Deducteam/lambdapiProof assistant based on the λΠ-calculus modulo rewriting
OCaml UpdatedJun 12, 2020 -
nerdtree Public
Forked from preservim/nerdtreeA tree explorer plugin for vim.
Vim Script Do What The F*ck You Want To Public License UpdatedOct 8, 2018 -
gotemplate Public
Forked from ncw/gotemplatePackage based templating system for Go
Go MIT License UpdatedNov 19, 2017