Giters
Guillaume Duboc (gldubc)

gldubc

Geek Repo

42

followers

78

following

231

stars

Twitter:@duboc_guillaume

Github PK Tool:Github PK Tool

Organizations
elixir-lang

Guillaume Duboc's repositories

elixir

Elixir is a dynamic, functional language for building scalable and maintainable applications

Language:ElixirLicense:Apache-2.0Stargazers:1Issues:0Issues:0

gldubc.github.io

Language:HTMLStargazers:0Issues:0Issues:0

libretime

LibreTime: Radio Broadcast & Automation Platform

Language:PHPLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0