Pinned Repositories
.emacs.d
47hours-server
arend-lib
asmClockCounter
Dumb clock counter for a subset of Intel 8088's asm
coq-lsp-emacs
course_project_3year
discord-scheme
meta
simple lisp-like language with no real purpose
fw-rec-inj
VMSL
Verifying FF-A hypercalls using VMSL.
Kaptch's Repositories
Kaptch/course_project_3year
Kaptch/coq-lsp-emacs
Kaptch/asmClockCounter
Dumb clock counter for a subset of Intel 8088's asm
Kaptch/arend-lib
Kaptch/Kaptch
Kaptch/meta
simple lisp-like language with no real purpose
Kaptch/.emacs.d
Kaptch/47hours-server
Kaptch/automatic-whitebox-testing-showcase
Showcase for an approach how to make automatic white-box testing with Free monads.
Kaptch/discord-scheme
Kaptch/filesystem
model of flat fhs-like file system
Kaptch/MarkovAlgorithm
Kaptch/parsec
A monadic parser combinator library
Kaptch/calamity
A library for writing discord bots in haskell
Kaptch/case-212
Открытое письмо специалистов IT-индустрии в защиту фигурантов «московского дела»
Kaptch/category
Kaptch/commonmark-hs
Pure Haskell commonmark parsing library, designed to be flexible and extensible
Kaptch/conf
Kaptch/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Kaptch/coqlex
Kaptch/dependency_graph_purescript
Kaptch/dictionaryGen
Kaptch/home
Kaptch/hs-jq
:beetle: Implementing 'jq' in Haskell
Kaptch/regexp
Regular Expression
Kaptch/secd
Kaptch/stream-web
Kaptch/system
Kaptch/TRS
Kaptch/vm_demo