Groupoïd (@groupoid)
Guthub

groupoid

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    470
  • Global Org. Rank 24,336 (Top 8 %)
  • Registered over 8 years ago
  • Most used languages
    OCaml
         44.4 %
    Erlang
         22.2 %
    TeX
         22.2 %
    Pug     11.1 %
  • Location 🇺🇦 Ukraine
  • Country Total Rank 348
  • Country Ranking
    OCaml
         2
    Erlang
         3
    TeX
         4
    Pug     8

Top repositories

1

henk

🧊 Чиста система з всесвітами
Erlang
144
star
2

monography

🧊 Перша формальна система
TeX
92
star
3

groupoid.space

🧊 Інститут формальної математики
TeX
35
star
4

cubical.systems

🧊 Кубічні Системи Типів
28
star
5

cafe

🧊 Презентації та воркшопи
21
star
6

anders

🧊 Модальний гомотопічний верифікатор математики
OCaml
17
star
7

castle.bravo

🧊 Castle Bravo: HoTT-∂ Type System with definitional Path-β
OCaml
16
star
8

alonzo

🧊 Типізоване ‏-ג‏‎числення
OCaml
15
star
9

CCHM

🧊 Формалізація математики для CCHM
10
star
10

joe

🧊 Компілятор ML і віртуальна машина
OCaml
9
star
11

languages

🧊 Енциклопедія мов програмування
5
star
12

hopf

🧊 Фібрації Хопфа для CCHM
3
star
13

per

🧊 Числення індуктивних конструкцій
Erlang
2
star
14

homotopy.dev

🧊 Anders: Homotopy Library Manual
Pug
1
star