Gregory Gerasev's starred repositories
autodocodec
self(auto)- documenting encoders and decoders
autorecorder
An automatic declarative ASCIInema recorder
tree-sitter-haskell
Haskell grammar for tree-sitter.
ghc-tcplugin-api
An interface for GHC type-checking plugins
deriving-trans
Derive Instances for Monad Transformer Stacks
inference-in-agda
A tutorial on how Agda infers things
Agda-reflection-for-semiring-solver
A simple demonstration of the Agda Reflection API
blocking-issues
A GitHub action to label issues and PRs when they're blocked by another issue or PR.
purescript-aeson
Json (de/en)coders library that works with arbitrary-length numeric types (compatible with Aeson)
haskell_compiler_generator
A Haskell Compiler generator that takes the formal specification of language's syntax and semantics, and generates a functional Haskell Compiler for it.
beam-automigrate
Generated migrations for beam databases
csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
universalmutator
Regexp based tool for mutating generic source code across numerous languages
drf-haystack
Haystack for Django REST Framework
django-performance-testing
Performance testing for Django through your automated tests!
drf_pretty_exception_handler
Django Rest Framework pretty exception handler
docker-deployment-action
A GitHub Action that supports docker-compose and Docker Swarm deployments
coafile-bot
I'm a bot code.
django-migration-control
Django migration control allows avoid unnecessary migrations such as changing help_text or verbose_name of fields