Alternatives and similar repositories for Smart-Contract-Verifier

Users that are interested in Smart-Contract-Verifier are comparing it to the libraries listed below

• OlegDokuka / collaborative-todo-list
  Collaborative TODO List with Spring, Kotlin and RSocket
  ☆49Updated 4 years ago
• sqids / sqids-kotlin
  Official Kotlin port of Sqids. Generate short unique IDs from numbers.
  ☆61Updated 10 months ago
• LostMekka / kodama
  Kodama (Kotlin Data Mapper) is a mapping library and compiler plugin that automates tedious mapping between data classes.
  ☆11Updated 2 years ago
• atlassian / 1time
  Lightweight, thread-safe Java/Kotlin TOTP (time-based one-time passwords) and HOTP generator and validator for multi-factor authenticatio…
  ☆96Updated this week
• nomisRev / KotlinConf2024Example
  Full production example of: Unlocking the Power of Arrow 2.0: A Comprehensive Guide
  ☆17Updated last year
• River-Kt / river
  Extensions & Enterprise Integrations for Kotlin flows
  ☆81Updated last year
• kotools / types
  Explicit types for Kotlin Multiplatform.
  ☆113Updated 2 months ago
• chRyNaN / krypt
  Kotlin multi-platform cryptographic utility library.
  ☆22Updated 2 years ago
• JuulLabs / kotlin-guides
  Style guidelines for JUUL Lab's Kotlin projects.
  ☆10Updated 4 years ago
• HaydenMeloche / khealth
  A simple and customizable health plugin for Ktor
  ☆25Updated 11 months ago
• dkhalanskyjb / journal
  The work journal that I keep
  ☆16Updated 2 weeks ago
• jillesvangurp / kt-search
  Multi platform kotlin client for Elasticsearch & Opensearch with easily extendable Kotlin DSLs for queries, mappings, bulk, and more.
  ☆143Updated last week
• mpetuska / kon
  Kotlin Object Notation - Lightweight DSL to build fluid JSON trees. Read-only mirror of https://gitlab.com/dev.petuska/kon
  ☆49Updated 5 months ago
• idfinance-oss / LogKMPanion
  ☆13Updated this week
• cuhacking / atlas
  The map project - codename Atlas
  ☆16Updated 4 years ago
• smithy-lang / smithy-kotlin
  Smithy code generator for Kotlin
  ☆106Updated this week
• komapper / kova
  A type-safe Kotlin validation library that provides composable validators
  ☆63Updated this week
• aallam / ulid-kotlin
  ULID (Universally Unique Lexicographically Sortable Identifier) for Kotlin Multiplatform
  ☆49Updated 6 months ago
• bitPogo / kmock
  A humble mocking library for Kotlin, KotlinJS and Kotlin Multiplatform using Kotlin Symbol Processing (KSP).
  ☆62Updated last year
• open-toast / protokt
  Protobuf compiler and runtime for Kotlin
  ☆162Updated 2 months ago
• mcarleio / konvert
  Clean, type- and null-safe Kotlin mapping code generation at compile-time with Java interop
  ☆153Updated last week
• fluidsonic / fluid-i18n
  Kotlin multiplatform internationalization library (experimental)
  ☆21Updated 2 years ago
• hfhbd / chartJS-compose
  Demo how to use Chart.js. with Compose Web
  ☆11Updated last year
• JavierSegoviaCordoba / semver-gradle-plugin
  Set projects versions based on git tags and following semantic versioning
  ☆33Updated 3 weeks ago
• sureshg / kts-exec
  A composite Github Action to execute the Kotlin Script with compiler plugin and dependency caching!
  ☆11Updated last month
• cashapp / tempest
  Typesafe DynamoDB for Kotlin and Java.
  ☆86Updated 2 weeks ago
• MEJIOMAH17 / yaksb
  ☆10Updated 7 months ago
• mobiletoly / ktor-hexagonal-multimodule
  Template project to build ktor-based multi-module web service with Kotlin using Hexagonal architecture
  ☆84Updated 2 years ago
• a-sit-plus / multibase
  100% Kotlin Multiplatform Multibase Encoder/Decoder
  ☆21Updated 5 months ago
• JetBrains / exposed-intellij-plugin
  Exposed Kotlin ORM framework gradle and intellij plugins
  ☆43Updated 3 years ago