競プロ・Lisp

Lisp

A collection of Lisp programming enthusiasts!

高専競プロ鯖

「高専競プロ鯖」は高専に関係がある人のための競技プログラミングサーバーです。

LFE

The LFE (Lisp Flavoured Erlang) Discord Server

チンパンジーの競プロ協会 (CTF混入済み)

ここは初心者が競プロのことで発狂したりわからないなりに相談したり、上級者がすごい議論をしたり、競技プログラミング関連でたくさんのことをできる場所です。CTFなどの様々な話題も転がっています。ぜひ楽しんでください！！

Functional Programming

All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.