Popular repositories Loading

1. elixir elixir Public

   Forked from elixir-lang/elixir

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

   Elixir 1

2. 1ml_web 1ml_web Public

   Run 1ML in your browser

   OCaml 1

3. libretime libretime Public

   Forked from libretime/libretime

   LibreTime: Radio Broadcast & Automation Platform

   PHP

4. vscoq vscoq Public

   Forked from rocq-prover/vsrocq

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

   OCaml

5. gldubc.github.io gldubc.github.io Public

   Forked from simonmeoni/simonmeoni.github.io

   HTML

6. aoc24 aoc24 Public

   Elixir