Discover @nikolakasev Open Source projects

Nikola Kasev (@nikolakasev)

nikolakasev

Stars
8
Global Rank 1,106,139 (Top 39 %)
Followers 9
Registered about 10 years ago
Most used languages

Java
40.0 %

Kotlin
20.0 %

Haskell
20.0 %

TLA 20.0 %
Location 🇳🇱 Netherlands
Country Total Rank 12,972
Country Ranking

TLA 2

Haskell
248

Kotlin
612

Java
1,505

workshop-baker

A workshop for Java developers to get started with Baker

haskell-playground

Experimenting with Haskell

hello-tlaplus

Learning how to formally specify distributed systems using TLA+

advent-of-code-kotlin-2022

tibco-deployment

This is a rudimentary deployment framework for deploying TIBCO BusinessWorks 5