Skip to content

@groupoid Групоїд Інфініті

All

    Repositories list

    24 repositories

    • per

      Public
      🧊 Мінімальна кубічна система типів
      Elixir
      •
      Other
      •0•1•0•0•Updated Jul 28, 2026Jul 28, 2026

    • axio

      Public
      🧊 Методологія верифікації теорем
      Other
      •11•92•0•0•Updated Jul 14, 2026Jul 14, 2026

    • groupoid.space

      Public
      🧊 Інститут формальної математики
      pathpihit
      pathpihitinductionsigmamltt
      TeX
      •
      Other
      •9•35•0•0•Updated Jun 27, 2026Jun 27, 2026

    • anders

      Public
      🧊 Модальна гомотопічна система
      dependent-typesproof-assistantcubical-type-theory
      dependent-typesproof-assistantcubical-type-theorytype-systemtheorem-provertype-checkermltt
      Lean
      •
      Other
      •2•26•0•0•Updated Jun 26, 2026Jun 26, 2026

    • henk

      Public
      🧊 Чиста система з всесвітами
      erlangpuretermination
      erlangpureterminationptslambda-cube
      Elixir
      •
      Other
      •16•147•0•0•Updated May 29, 2026May 29, 2026

    • dan

      Public
      🧊 Сімпліціальна теорія типів і її операційне середовище
      OCaml
      •0•0•0•0•Updated May 29, 2026May 29, 2026

    • christine

      Public
      🧊 Тактична система доведення теорем
      Elixir
      •
      Other
      •1•7•1•0•Updated May 29, 2026May 29, 2026

    • frank

      Public
      🧊 Мінімальна індуктивна система
      Elixir
      •
      Other
      •0•1•0•0•Updated May 29, 2026May 29, 2026

    • homotopy.dev

      Public
      Homotopy
      0•0•0•0•Updated May 29, 2026May 29, 2026

    • manfred

      Public
      OCaml
      •0•0•0•0•Updated Apr 13, 2026Apr 13, 2026

    • .github

      Public
      🧊 Домашня сторінка організації
      0•0•0•0•Updated Apr 13, 2026Apr 13, 2026

    • robin

      Public
      LCF
      OCaml
      •0•2•0•0•Updated Apr 13, 2026Apr 13, 2026

    • tex

      Public
      🧊 TeX-подібна система верстки наукових праць
      OCaml
      •
      Other
      •3•21•0•0•Updated Mar 23, 2026Mar 23, 2026

    • andrea

      Public
      OCaml
      •
      Other
      •0•0•0•0•Updated Mar 15, 2026Mar 15, 2026

    • eijiro

      Public
      🧊 Компілятор і віртуальна машина MinCaml
      OCaml
      •
      Other
      •0•8•0•0•Updated Mar 14, 2026Mar 14, 2026

    • jack

      Public
      🧊 Теорія типів Джека Морави
      0•2•0•0•Updated Mar 12, 2026Mar 12, 2026

    • laurent

      Public
      🧊 Теорія типів для теорем функціонального аналізу
      OCaml
      •1•4•0•1•Updated Mar 10, 2026Mar 10, 2026

    • leslie

      Public
      Верифікатор розподілених у просторі і часі протоколів TLA+
      OCaml
      •0•0•0•0•Updated Mar 10, 2026Mar 10, 2026

    • fabien

      Public
      🧊 A¹ Теорія гомотопій
      Elixir
      •
      Other
      •1•1•0•0•Updated Mar 10, 2026Mar 10, 2026

    • yves

      Public
      🧊 Мінімальна внутрішння мова симетричних моноїдальних категорій
      OCaml
      •0•4•0•0•Updated Mar 10, 2026Mar 10, 2026

    • urs

      Public
      🧊 Еквіваріантна теорія типів супергеометрії
      OCaml
      •0•4•0•0•Updated Mar 10, 2026Mar 10, 2026

    • cafe

      Public
      🧊 Презентації та воркшопи
      videoslidesmathematics
      videoslidesmathematicscafe
      0•18•3•0•Updated Jun 28, 2025Jun 28, 2025

    • alonzo

      Public
      🧊 Мінімальна внутрішня мова декартово-замкнених категорій
      lambda-calculuschurchstlc
      lambda-calculuschurchstlc
      OCaml
      •
      Other
      •1•15•0•0•Updated Jun 2, 2025Jun 2, 2025

    • languages

      Public
      🧊 Енциклопедія мов програмування
      Other
      •1•5•0•0•Updated Apr 10, 2025Apr 10, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.