Popular repositories Loading

1. agdelte agdelte Public

   Dependent Lens FRP and concurrent model in Agda

   Agda 12 1

2. cubical-mini cubical-mini Public

   Forked from cmcmA20/cubical-mini

   Agda

3. parasymp parasymp Public

   Способы активации парасимпатической нервной системы

4. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell

5. nlp-training nlp-training Public

   Методы ведения тренингов при помощи внедрения микростратегий

6. yspeech yspeech Public

   Using Yandex SpeechKit API

   Haskell