gldubc

Pinned Repositories

vscoq
Visual Studio Code extension for Coq
Language:OCaml352 14 37674
elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
Language:Elixir24.7k 683 5.5k3.4k
aoc24
Language:Elixir00
elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
Language:Elixir1 0 00
gldubc.github.io
Language:HTML0 0 00
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:PHP824 60 1k229
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

gldubc's Repositories

gldubc/elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
Language:Elixir1 0 00
gldubc/aoc24
Language:Elixir00
gldubc/gldubc.github.io
Language:HTML0 0 00
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