競プロ・Lisp

Lisp

A collection of Lisp programming enthusiasts!

高専競プロ鯖

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

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

ここは初心者が競プロのことで発狂したりわからないなりに相談したり、上級者がすごい議論をしたり、競技プログラミング関連でたくさんのことをできる場所です。

Functional Programming

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