VSCode extension that is designed to help automate writing of Coq proofs.

Read-only mirror of https://git.hloth.dev/hloth/SIPacker

React create component interactive CLI

Машинное обучение на ФКН ВШЭ

Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

A tool for running a set of pre-configured linters and evaluating code quality. It is used on the Hyperskill platform to check the quality of learners' code.

Python Framework to analyse Git repositories

High-quality single-file implementations of SOTA Offline and Offline-to-Online RL algorithms: AWAC, BC, CQL, DT, EDAC, IQL, SAC-N, TD3+BC, LB-SAC, SPOT, Cal-QL, ReBRAC

IntelliJ IDEA plugin for Frege language

C++ programmer's guide to undefined behavior