The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

fork of the popular jsch library

Vert.x for Scala

Issues Repository for the Material Theme UI plugin for JetBrains

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

The List of Ukrainian IT communities, news portals, Telegram groups, and other places where people can communicate with each other.

Code for FP to the Min talk at Scala in the City Conference.

The workspace for ScalaUA 2019 presentation, "Thinking Functionally"

Scala Workshop (Beginners)

Lasca is Scala shifted towards Haskell.

A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

Implementation of CSP constructions (Communication Sequence Process, i.e. go-like channels) in scala