Skip to content
View ioolkos's full-sized avatar
💭
searching for the next level
💭
searching for the next level
101 followers · 737 following
  • VerneMQ
  • Basel, Switzerland

Sponsoring

@hauleth

Achievements

Achievement: Galaxy Brainx2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Galaxy Brainx2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Organizations

@RoburDB @CascabelUA @FaaSForward @OctavoLabs @Promise-Mapping

Block or report ioolkos

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (3)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

8 stars written in Scala
Clear filter

lichess-org / lila

♞ lichess.org: the forever free, adless and open source chess server ♞

Scala 17,333 2,490 Updated Nov 11, 2025

typelevel / scalacheck

Property-based testing for Scala

Scala 1,957 403 Updated Oct 18, 2025

almond-sh / almond

A Scala kernel for Jupyter

Scala 1,618 253 Updated Nov 10, 2025

WhatsApp / eqwalizer

A type-checker for Erlang

Scala 533 38 Updated Nov 6, 2025

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

Scala 505 44 Updated Nov 11, 2025

UdashFramework / udash-core

Scala framework for building beautiful and maintainable web applications.

Scala 450 37 Updated Nov 7, 2025

antonkulaga / scala-js-binding

ScalaJS html binding library

Scala 47 7 Updated Jun 11, 2018

sbaresearch / amlsec

Automated Security Risk Identification Using AutomationML-based Engineering Data

Scala 29 10 Updated Jul 24, 2022