Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
Arend
The Arend Proof Assistant
arend-ct
Category theory formalization in Arend
ars
Formalization of Abstract Rewriting Systems in Arend
de-conspect
ITMO 2018 Differential Equations synopsis
intellij-community
IntelliJ IDEA Community Edition
optimization-lab-1
type-theory-2019
knisht's Repositories
knisht/arend-ct
Category theory formalization in Arend
knisht/ars
Formalization of Abstract Rewriting Systems in Arend
knisht/optimization-lab-1
knisht/type-theory-2019
knisht/agda
Agda is a dependently typed programming language / interactive theorem prover.
knisht/Arend
The Arend Proof Assistant
knisht/intellij-community
IntelliJ IDEA Community Edition
knisht/arend-lib
knisht/chrome-extensions
A storage for google-chrome extensions I find useful
knisht/first-term
knisht/grails-forge
knisht/Grammar-Kit
Grammar files support & parser/PSI generation for IntelliJ IDEA
knisht/groovy-showcases
knisht/HoTT
Some fun with HoTT
knisht/intellij-arend
Arend plugin for IntelliJ IDEA
knisht/interval-float
knisht/itmo-testing-2020
knisht/jenkins
Jenkins automation server
knisht/optimization-lab-3
knisht/os-jit
knisht/os-lib
knisht/os-net
knisht/os-net-descriptor-passing
knisht/os-net-multiplexing
knisht/ray-tracing
knisht/site
Arend language website source
knisht/SLideR
Parser generator for SLR(1) grammars
knisht/tda283
Material for TDA283 / DIT300 Compiler Construction
knisht/unifold
Vim plugin for quick input of Unicode characters
knisht/wtfis
Command-line question answerer