artemmukhin Goto Github PK

abstreet

A traffic simulation game exploring how small changes to roads affect cyclists, transit users, pedestrians, and drivers.

bots

chatdbg

ChatDBG - AI-assisted debugging. Uses AI to answer 'why'

collectionsynthesis

Term paper and research on program synthesis at SPBU

cpython

The Python programming language

crocodile

Party game for 2-10 people for Android

devguide

The Python developer's guide

glass

Driver for AI

intellij-rust

Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/

jsoup

jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS safety.

kotlin-coroutine-agent-exercise

Тестовое задание для летней практики 2017: Агент и плагин для отладки корутин на языке Kotlin

kt-search

Multi platform kotlin client for Elasticsearch & Opensearch with easily extendable Kotlin DSLs for queries, mappings, bulk, and more.

ktor-documentation

lambdacalculuscoq

Formal proofs of some facts about untyped lambda calculus in Coq

lldb

No longer used, use https://github.com/rust-lang/llvm-project instead

llvm-project

This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

minesweeper

minivalgrind

Simple tool for memory leak detection in programs written in simple C-like language

ml-for-beginners

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

ngrams

ACM SIGMOD'17 programming contest

package-search-api-models

paperassistant

Photo assistant based on paper detector

pep669_playground

Playground for PEP 669 – Low Impact Monitoring for CPython

pydev.debugger

Sources for the debugger used in PyDev, PyCharm and VSCode Python

pydev.debugger.binaries

rubymine-is2018

Rubymine SI 2018 assignment

ruff

An extremely fast Python linter, written in Rust.

rust

Empowering everyone to build reliable and efficient software.

shadow

Gradle plugin to create fat/uber JARs, apply file transforms, and relocate packages for applications and libraries. Gradle version of Maven's Shade plugin.

smt-solver

SMT solver for theory of uninterpreted functions with equity