Alternatives and similar repositories for kala-common

Users that are interested in kala-common are comparing it to the libraries listed below

• Glavo / kala-lang

  View on GitHub
  ☆12Aug 19, 2021Updated 4 years ago
• Glavo / kala-template

  View on GitHub
  ☆11Sep 15, 2024Updated last year
• Glavo / kala-ansi

  View on GitHub
  ☆13Jun 2, 2025Updated 8 months ago
• Trebor-Huang / ice1000

  View on GitHub
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
  ☆19Jun 25, 2022Updated 3 years ago
• Glavo / kala-compress

  View on GitHub
  Modular Apache commons compress
  ☆11Dec 9, 2024Updated last year
• MarisaKirisame / DefComBlog

  View on GitHub
  ☆13Aug 26, 2022Updated 3 years ago
• aya-prover / aya-dev

  View on GitHub
  A proof assistant and a dependently-typed language
  ☆347Jan 25, 2026Updated 3 weeks ago
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 3 years ago
• Yoorkin / Effektos

  View on GitHub
  ☆11Apr 10, 2024Updated last year
• chuigda-wasteland / Project-47

  View on GitHub
  The formal development repository for Pr47
  ☆21Feb 21, 2023Updated 2 years ago
• dark-flames / yukino-dev

  View on GitHub
  A type-driven and high-performance ORM framework in Rust
  ☆31Jun 13, 2025Updated 8 months ago
• anqur / lyzh

  View on GitHub
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Feb 7, 2025Updated last year
• KonjacSource / ShiTT

  View on GitHub
  Deprecated
  ☆39Nov 2, 2025Updated 3 months ago
• scala-workers / commons-lang3-bridge

  View on GitHub
  ☆12Jan 6, 2026Updated last month
• dark-flames / apollo-typst

  View on GitHub
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆40Jun 8, 2025Updated 8 months ago
• imkiva / valheim

  View on GitHub
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Dec 14, 2022Updated 3 years ago
• spekka / spekka

  View on GitHub
  Streaming Productivity Enhancements for Akka
  ☆23Dec 3, 2023Updated 2 years ago
• bitlap / smt

  View on GitHub
  🔧 Useless but cool.
  ☆14Mar 13, 2025Updated 11 months ago
• gcnyin / scala-http-benchmark

  View on GitHub
  ☆14Jul 20, 2023Updated 2 years ago
• scala / scala-asm

  View on GitHub
  A fork of https://gitlab.ow2.org/asm/asm for the Scala compiler
  ☆15Oct 31, 2025Updated 3 months ago
• Glavo / module-info-compiler

  View on GitHub
  ☆17Dec 24, 2023Updated 2 years ago
• Ray-Eldath / dont-interface

  View on GitHub
  How many interface{} are there in your project?
  ☆16Aug 2, 2021Updated 4 years ago
• AndrasKovacs / implicit-fun-elaboration

  View on GitHub
  Implementation for ICFP 2020 paper
  ☆54Jul 5, 2021Updated 4 years ago
• scalacn / hands-on-scala-zh

  View on GitHub
  Hands On Scala 中文
  ☆63May 27, 2020Updated 5 years ago
• ice1000 / Books

  View on GitHub
  My slides and notes
  ☆140May 31, 2023Updated 2 years ago
• Seng-Jik / CloseGL

  View on GitHub
  A software renderer.
  ☆17Sep 4, 2021Updated 4 years ago
• ClassViewer / ClassViewer

  View on GitHub
  ClassViewer is a lightweight Java class file viewer that you can use to view the structure of Java class files.
  ☆278Apr 7, 2025Updated 10 months ago
• icela / Castle-game

  View on GitHub
  A Castle game, based on https://github.com/ice1000/Castle-game, with capable GUI and CUI runner
  ☆16Aug 24, 2016Updated 9 years ago
• wangzaixiang / scala-sql

  View on GitHub
  scala SQL api
  ☆88Aug 7, 2025Updated 6 months ago
• kubinio123 / k-tail

  View on GitHub
  Broadcast Kafka messages using web sockets, ZIO playground
  ☆10Nov 13, 2023Updated 2 years ago
• SchrodingerZhu / memcpy-amd64

  View on GitHub
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Feb 7, 2022Updated 4 years ago
• colmugx / moonbit-zig-experimental

  View on GitHub
  🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.
  ☆12Apr 7, 2025Updated 10 months ago
• IzzelAliz / Arcturus

  View on GitHub
  User defined intrinsics, tailrec optimization
  ☆12Nov 26, 2022Updated 3 years ago
• Yu-zh / Tuzi

  View on GitHub
  A terminal text editor written in MoonBit
  ☆11Apr 7, 2025Updated 10 months ago
• Guest0x0 / trebor

  View on GitHub
  an implementation of Observational Type Theory (OTT) and more
  ☆30Oct 15, 2022Updated 3 years ago
• Seng-Jik / ClosestGL

  View on GitHub
  Learn CG.
  ☆18Apr 21, 2019Updated 6 years ago
• Glavo / java-ffi-benchmark

  View on GitHub
  ☆51Oct 9, 2025Updated 4 months ago
• bitlap / zim

  View on GitHub
  Full ZIO 2 Stack: A sample IM that uses zio, zio-redis, zio-actors, zio-schema, zio-streams, zio-crypto, circe, tapir, akka-http,redis4c…
  ☆45Jan 6, 2025Updated last year
• dreamlike-ocean / StableValue

  View on GitHub
  使用invokedynamic实现的零依赖StableValue用于取代DCL模式
  ☆12Sep 23, 2025Updated 4 months ago