uhbif19 Goto Github PK

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

drweb_celery

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

Тестовое задание для ревьюеров Яндекс.Практикума

pygtranslator

Python library for translating texts

pyramid-russian-docs

Русский перевод документации Pyramid

python-local-chat

Небольшой консольный чат реализованный на Python

python-project-lvl1

servant-record

Servant combinator to parse query params as Haskell record

snapshottest

Snapshot Testing utils for Python 📸

stan

🕵️ Haskell STatic ANalyser

sure-ada

uhbif19.github.io

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