Gregory Gerasev's repositories
pyramid-russian-docs
Русский перевод документации Pyramid
servant-record
Servant combinator to parse query params as Haskell record
python-local-chat
Небольшой консольный чат реализованный на Python
PyGTranslator
Python library for translating texts
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-bidirectional-natural-deduction
An adventure on formalizing logics using the Agda programming language
am_categories_api
Тестовое задание для компании MTrading
autorecorder
An automatic declarative ASCIInema recorder
colourista
️🌈 Convenient interface for printing colourful messages
flake8-variables-names
A flake8 extension that helps to make more readable variables names
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
hemmet
Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff
hindent
Haskell pretty printer
hydra
Implementation of the Hydra Head protocol
learnhaskell
Learn Haskell
metalamp-web-app
See README for more info
minq-ananicy
Minq Ananicy - is Another auto nice daemon, with community rules support (Use pull request please)
plutus
The Plutus language implementation and tools
policeman
👮 Haskell PVP adviser
praktikum_reviewer_test_task
Тестовое задание для ревьюеров Яндекс.Практикума
snapshottest
Snapshot Testing utils for Python 📸
stan
🕵️ Haskell STatic ANalyser
vas3k.club
No bullshit IT community with private membership
wemake-python-styleguide
The strictest and most opinionated python linter ever!
wps_github_viewer
Test task for WPS