Pinned Repositories
Crocodile
Party game for 2-10 people for Android
intellij-rust
Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/
LambdaCalculusCoq
Formal proofs of some facts about untyped lambda calculus in Coq
MiniValgrind
Simple tool for memory leak detection in programs written in simple C-like language
PaperAssistant
Photo assistant based on paper detector
smt-solver
SMT solver for theory of uninterpreted functions with equity
intellij-rust
Rust plugin for the IntelliJ Platform
intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
cpython
The Python programming language
rust
Empowering everyone to build reliable and efficient software.
artemmukhin's Repositories
artemmukhin/MiniValgrind
Simple tool for memory leak detection in programs written in simple C-like language
artemmukhin/smt-solver
SMT solver for theory of uninterpreted functions with equity
artemmukhin/intellij-rust
Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/
artemmukhin/LambdaCalculusCoq
Formal proofs of some facts about untyped lambda calculus in Coq
artemmukhin/minesweeper
artemmukhin/abstreet
A traffic simulation game exploring how small changes to roads affect cyclists, transit users, pedestrians, and drivers.
artemmukhin/bots
artemmukhin/ChatDBG
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
artemmukhin/CollectionSynthesis
Term paper and research on program synthesis at SPBU
artemmukhin/cpython
The Python programming language
artemmukhin/devguide
The Python developer's guide
artemmukhin/jsoup
jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS safety.
artemmukhin/kotlin-coroutine-agent-exercise
Тестовое задание для летней практики 2017: Агент и плагин для отладки корутин на языке Kotlin
artemmukhin/kt-search
Multi platform kotlin client for Elasticsearch & Opensearch with easily extendable Kotlin DSLs for queries, mappings, bulk, and more.
artemmukhin/ktor-documentation
artemmukhin/lldb
No longer used, use https://github.com/rust-lang/llvm-project instead
artemmukhin/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.
artemmukhin/ML-For-Beginners
12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all
artemmukhin/package-search-api-models
artemmukhin/pep669_playground
Playground for PEP 669 – Low Impact Monitoring for CPython
artemmukhin/PyDev.Debugger
Sources for the debugger used in PyDev, PyCharm and VSCode Python
artemmukhin/PyDev.Debugger.binaries
artemmukhin/rubymine-is2018
Rubymine SI 2018 assignment
artemmukhin/ruff
An extremely fast Python linter, written in Rust.
artemmukhin/rust
Empowering everyone to build reliable and efficient software.
artemmukhin/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.
artemmukhin/swift
The Swift Programming Language
artemmukhin/SwiftFuzzer
artemmukhin/uptime-monitor
⬆️📈 Uptime monitor powered by GitHub Actions
artemmukhin/xi-editor
A modern editor with a backend written in Rust.