Name: Marat Akhin
Type: User
Company: JetBrains
Location: Amsterdam
val `ice-phoenix` = developer {
about {
name = "Marat Akhin"
company = JetBrains
role = Kotlin_specification_writer
}
tech("Programming languages", "Static analysis", "MtG")
links {
twitter = "@tau_phoenix"
website = "https://research.jetbrains.org/researchers/marat.akhin"
cookies = "yes please"
}
}
algorithms-2019
Course: algorithms and data structures (2019)
algorithms-2020
algorithms-2022
Course: algorithms and data structures (2022)
ansible-contest
Ansible playbooks for the ICFP Contest 2019 grading infrastructure
aur-abs-pkgbuilds-hg
PKGBUILD files for AUR packages
coursera-prp-actorbintree-hg
[Week 5] Actor binary tree assignment for "Principles of Reactive Programming" from Coursera
coursera-prp-kvstore-hg
[Week 6] Distributed KV store assignment for "Principles of Reactive Programming" from Coursera
coursera-prp-nodescala-hg
[Week 3] NodeScala assignment for "Principles of Reactive Programming" from Coursera
coursera-prp-quickcheck-hg
[Week 1] QuickCheck assignment for "Principles of Reactive Programming" from Coursera
coursera-prp-simulations-hg
[Week 2] Simulations assignment for "Principles of Reactive Programming" from Coursera
coursera-prp-suggestions-hg
[Week 4] Suggestions assignment for "Principles of Reactive Programming" from Coursera
csse-fcs-latex-hg
LaTeX class for dissertations at http://kspt.ftk.spbstu.ru/.
csse-fcs-template-hg
LaTeX sources template for https://bitbucket.org/ice_phoenix/csse-fcs-latex/.
diffparser
Parse unified diffs with Java.
erlang-irc-bot
A simple extendable irc bot in Erlang
eve-ql-hg
EVE Online Wallet Transaction Query Utility
git_downloader
github-integration-plugin
Jenkins GitHub Integration Plugin
grading
ICFP Contest 2019 grading scripts
i3status-rust
Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust
ice-phoenix
icfpc-ouroboros-2012
icfpc2017-hg
icfpcontest2019
Checkers and Visualisers for the ICFP Contest 2019 tasks
k3-climb-countdown
keras
Deep Learning library for Python. Convnets, recurrent neural networks, and more. Runs on Theano and TensorFlow.
kotlin
The Kotlin Programming Language
kotlin-analysis
A set of utilities to analyze Kotlin projects
kotlin-fuzzer-v2
kotlin-puzzlers
A collection of Kotlin Puzzlers
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.