Pinned Repositories
pure
A verified compiler for a lazy functional language
Agenty
akka-exercise
Small exercise in Akka for Distributed Systems Course at AGH UST
GUInep
Automatic UI forms for Scala 3 functions
lazycall
A lightweight library that lets You write unreadable code
wordle-compile
A Scala 3 compiler plugin, that requires you to solve a Wordle in order for the compilation to finish
scala3
The Scala 3 compiler, also known as Dotty.
quicklens
Modify deeply nested case class fields
avocADO
Safe compile-time parallelization of for-comprehensions for Scala 3
Inkuire
Hoogle-like searches for Scala 3 and Kotlin
KacperFKorban's Repositories
KacperFKorban/GUInep
Automatic UI forms for Scala 3 functions
KacperFKorban/avocADO
Safe compile-time parallelization of for-comprehensions for Scala 3
KacperFKorban/dotty
The Scala 3 compiler, also known as Dotty.
KacperFKorban/gitignore
The largest collection of useful .gitignore templates
KacperFKorban/gitignore-gh
A collection of useful .gitignore templates
KacperFKorban/hol4-vscode
HOL4 mode for VSCode
KacperFKorban/improvement-proposals
Scala Improvement Proposals
KacperFKorban/Inkuire
Hoogle-like searches for Scala 3 and Kotlin
KacperFKorban/langextensions
KacperFKorban/MACaROni
Common Scala 3 macro utils
KacperFKorban/magnolia
Fast, easy and transparent typeclass derivation for Scala 2
KacperFKorban/metals
Scala language server with rich IDE features 🚀
KacperFKorban/msc-thesis
KacperFKorban/quicklens
Modify deeply nested case class fields
KacperFKorban/sbt-ci-release
sbt plugin to automate Sonatype releases from GitHub Actions
KacperFKorban/sbt-sonatype
A sbt plugin for publishing Scala/Java projects to the Maven central.
KacperFKorban/sbt-sonatype-central
An sbt plugin for deploying open-source artifacts to Maven via the Sonatype Central portal
KacperFKorban/scala-cli
KacperFKorban/scala-lang
sources for the Scala language website
KacperFKorban/scala-typed-holes
KacperFKorban/scala3-migrate
A tool to help migrating from Scala 2 to Scala 3
KacperFKorban/scaladex-contrib
pom => github
KacperFKorban/scaladoc-test
KacperFKorban/scalameta
Library to read, analyze, transform and generate Scala programs
KacperFKorban/scastie
An interactive playground for Scala
KacperFKorban/sourcecode
Scala library providing "source" metadata to your program, similar to Python's __name__, C++'s __LINE__ or Ruby's __FILE__.
KacperFKorban/tda283
Material for TDA283 / DIT300 Compiler Construction
KacperFKorban/using_directives
KacperFKorban/vscode-scaladex-search
An humble plugin to search for scala libraries
KacperFKorban/zio-schema
Compositional, type-safe schema definitions, which enable auto-derivation of codecs and migrations.