Popular repositories Loading

1. agda-ocaml agda-ocaml Public

   Forked from agda/agda-ocaml

   OCaml backend for Agda

   Haskell

2. latex-gost-template latex-gost-template Public

   Forked from ledovsky/latex-gost-template

   Шаблон для создания документов latex по ГОСТ: отчетов о НИР, курсовыx, рефератов, дипломов и др.

   TeX

3. dragonegg dragonegg Public

   Forked from llvm-mirror/dragonegg

   C++

4. waymonad waymonad Public

   Forked from waymonad/waymonad

   A wayland compositor based on ideas from and inspired by xmonad

   Haskell