Sergei Stepanenko's repositories
asmClockCounter
Dumb clock counter for a subset of Intel 8088's asm
Language:Emacs Lisp000
Language:HaskellBSD-3-Clause000
automatic-whitebox-testing-showcase
Showcase for an approach how to make automatic white-box testing with Free monads.
Language:HaskellBSD-3-Clause000
Language:Haskell000
filesystem
model of flat fhs-like file system
Language:HaskellBSD-3-Clause000
Language:HaskellBSD-3-Clause000
parsec
A monadic parser combinator library
Language:HaskellNOASSERTION000
calamity
A library for writing discord bots in haskell
Language:HaskellMIT000
case-212
Открытое письмо специалистов IT-индустрии в защиту фигурантов «московского дела»
Language:Python000
Language:Coq000
commonmark-hs
Pure Haskell commonmark parsing library, designed to be flexible and extensible
000
Language:Nix000
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.
Language:OCamlLGPL-2.1000
Language:CoqNOASSERTION000
Language:HaskellBSD-3-Clause000
Language:HaskellBSD-3-Clause000
Language:Emacs Lisp000
hs-jq
:beetle: Implementing 'jq' in Haskell
000
regexp
Regular Expression
Language:Coq000
Language:Haskell000
Language:HaskellBSD-3-Clause000
Language:Nix000
000
Language:Haskell000