gldubc

Pinned Repositories

vscoq
Visual Studio Code extension for Coq
Language:OCaml345 14 36669
elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
Language:Elixir24.6k 675 5.5k3.4k
elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
Language:Elixir1 0 00
gldubc.github.io
Language:HTML00
libretime
LibreTime: Radio Broadcast & Automation Platform
Language:PHP0 0 00
vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
Language:OCaml0 0 00
libretime
LibreTime: Radio Broadcast & Automation Platform
Language:PHP811 60 1k225
Demo-LEIA
Graphical Demo for LEIA processors
Language:Python0 0 00
Fouine
Small Caml Light language featuring type inference, code transformations and a module system
Language:OCaml5 0 01
tozti-calendar
A tozti extension providing a calendar and event management.
Language:Vue0 4 10

gldubc's Repositories

gldubc/elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
Language:Elixir1 0 00
gldubc/gldubc.github.io
Language:HTML00
gldubc/libretime
LibreTime: Radio Broadcast & Automation Platform
Language:PHP0 0 00
gldubc/vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
Language:OCaml0 0 00