Pinned Repositories
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
erlang-irc-bot
A simple extendable irc bot in Erlang
icfpc-ouroboros-2012
ice-phoenix's Repositories
ice-phoenix/Algorithms-2020
ice-phoenix/Algorithms-2022
Course: algorithms and data structures (2022)
ice-phoenix/ansible-contest
Ansible playbooks for the ICFP Contest 2019 grading infrastructure
ice-phoenix/aur-abs-pkgbuilds-hg
PKGBUILD files for AUR packages
ice-phoenix/coursera-prp-actorbintree-hg
[Week 5] Actor binary tree assignment for "Principles of Reactive Programming" from Coursera
ice-phoenix/coursera-prp-kvstore-hg
[Week 6] Distributed KV store assignment for "Principles of Reactive Programming" from Coursera
ice-phoenix/coursera-prp-nodescala-hg
[Week 3] NodeScala assignment for "Principles of Reactive Programming" from Coursera
ice-phoenix/coursera-prp-quickcheck-hg
[Week 1] QuickCheck assignment for "Principles of Reactive Programming" from Coursera
ice-phoenix/coursera-prp-simulations-hg
[Week 2] Simulations assignment for "Principles of Reactive Programming" from Coursera
ice-phoenix/coursera-prp-suggestions-hg
[Week 4] Suggestions assignment for "Principles of Reactive Programming" from Coursera
ice-phoenix/eve-ql-hg
EVE Online Wallet Transaction Query Utility
ice-phoenix/GADT
ice-phoenix/grading
ICFP Contest 2019 grading scripts
ice-phoenix/i3status-rust
Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust
ice-phoenix/ice-phoenix
ice-phoenix/ICFPC2017-hg
ice-phoenix/k3-climb-countdown
ice-phoenix/Kotlin-Analysis
A set of utilities to analyze Kotlin projects
ice-phoenix/kotlin-fuzzer-v2
ice-phoenix/kotlin-spec
Kotlin Language Specification:
ice-phoenix/KotlinAsFirst
Задачи для онлайн-курса "Котлин как первый язык программирования"
ice-phoenix/KotlinAsFirst2019
Задачи для онлайн-курса "Котлин как первый язык программирования" (2019)
ice-phoenix/KotlinAsFirst2020
ice-phoenix/kotlinx.coroutines
Library support for Kotlin coroutines
ice-phoenix/megamek-manager-hg
Akka-based MegaMek server manager
ice-phoenix/megamek-manager-web-hg
Web interface for megamek-manager
ice-phoenix/plugin-utilities
Repository for utilities to create and test IntelliJ plugins
ice-phoenix/replacewith
ice-phoenix/website-grammar-generator
Kotlin ANTLR grammar converter to XML for the Kotlin website or text file
ice-phoenix/zurich-coderetreat-2014-hg