Codingteam

codingteam@conference.jabber.ru community

Pinned Repositories

achievements
A list of achievements that I hope will be used some day.
7 4 00
emulsion
XMPP ↔ Telegram bridge
Language:F#33 4 973
horta-hell
Configurable XMPP bot written in Scala based on the Akka framework.
Language:Scala13 5 3008
Hyperspace
Simple 2D game written in Clojure and Kotlin.
Language:Clojure9 2 304
icfpc-2017
Сodingteam's ICFP Contest 2017 submission
Language:Scala5 7 11
icfpc-2018
Language:Haskell5 5 210
Keter
A roguelike game in the SCP setting.
Language:Scala15 5 545
loglist
Reincarnation of the famous service
Language:Scala7 4 1544
naggum
.NET-based lisp for a more civilized age
Language:F#16 6 551
pacmacs.el
Pacman for Emacs
Language:Emacs Lisp121 7 1909

Codingteam's Repositories

codingteam/pacmacs.el
Pacman for Emacs
Language:Emacs Lisp121 7 1909
codingteam/emulsion
XMPP ↔ Telegram bridge
Language:F#33 4 973
codingteam/naggum
.NET-based lisp for a more civilized age
Language:F#16 6 551
codingteam/Keter
A roguelike game in the SCP setting.
Language:Scala15 5 545
codingteam/horta-hell
Configurable XMPP bot written in Scala based on the Akka framework.
Language:Scala13 5 3008
codingteam/Hyperspace
Simple 2D game written in Clojure and Kotlin.
Language:Clojure9 2 304
codingteam/achievements
A list of achievements that I hope will be used some day.
7 4 00
codingteam/loglist
Reincarnation of the famous service
Language:Scala7 4 1544
codingteam/icfpc-2017
Сodingteam's ICFP Contest 2017 submission
Language:Scala5 7 11
codingteam/icfpc-2018
Language:Haskell5 5 210
codingteam/devops
Codingteam infrastructure
Language:PowerShell4 3 280
codingteam/euclid
UI library for terminal environments.
Language:Scala3 3 6
codingteam/icfpc-2014
ICFP Programming Contest 2014
Language:Haskell3 9 0
codingteam/icfpc-2016
Сodingteam's ICFP Contest 2016 submission
Language:Haskell3 10 01
codingteam/icfpc-2020
Codingteam's submission for ICFP Programming Contest 2020
Language:Haskell3 7 3
codingteam/icfpc-2023
codingteam's submission for the ICFP Contest 2023
Language:F#3 7 2
codingteam/logo
The Logo of the Codingteam Foundation
Language:Makefile3 5 5
codingteam/codingteam.org.ru
Our main web site.
Language:HTML2 6 501
codingteam/Gestalt
GitHub statistics fetcher
Language:Erlang2 4 15
codingteam/icfpc-2019
Codingteam's submission for ICFPC-2019
Language:Scala2 5 7
codingteam/icfpc-2024
codingteam's submission for the ICFP Contest 2024
Language:Haskell2 9 2
codingteam/fortune-service
Original Fortune Service that was used for Horta Hells $fortune plugin
Language:Python1 1 0
codingteam/horta-foundation
[DEPRECATED] Running and managing the horta infrsastructure.
Language:PowerShell1 3 29
codingteam/icfpc-2015
Codingteam's ICFP Contest 2015 submission.
Language:JavaScript1 10 11
codingteam/icfpc-2021
Codingteam's submission for ICFP Programming Contest 2021
Language:Scala1 6 4
codingteam/icfpc-2022
Codingteam's Submission for ICFP Programming Contest 2022
Language:Haskell1 6 0
codingteam/pascalabcnet
The new generation Pascal programming language for .NET
Language:C#1 3 0
codingteam/scala-native
Your favourite language gets closer to bare metal.
Language:Scala1 4 0
codingteam/icfpc-2018-artifacts
Submissions for ICFP Contest 2018. See icfpc-2018 repository (to be published).
8 0
codingteam/icfpc-2025
The Codingteam's solution for the 2025 ICFPC contest
Language:Fortran