Alternatives and similar repositories for Smart-Contract-Verifier

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

• sqids / sqids-kotlin
  Official Kotlin port of Sqids. Generate short unique IDs from numbers.
  ☆61Updated 10 months ago
• krud-dev / shapeshift
  A Kotlin/Java library for intelligent object mapping and conversion between objects.
  ☆197Updated last year
• chRyNaN / krypt
  Kotlin multi-platform cryptographic utility library.
  ☆22Updated 2 years ago
• radoslaw-panuszewski / typesafe-conventions-gradle-plugin
  ☆125Updated this week
• JavierSegoviaCordoba / semver-gradle-plugin
  Set projects versions based on git tags and following semantic versioning
  ☆33Updated 3 weeks ago
• mcarleio / konvert
  Clean, type- and null-safe Kotlin mapping code generation at compile-time with Java interop
  ☆153Updated last week
• JuulLabs / kotlin-guides
  Style guidelines for JUUL Lab's Kotlin projects.
  ☆10Updated 4 years ago
• GradleUp / nmcp
  Publish your libraries to the Central Portal 📦
  ☆113Updated 2 weeks ago
• sharpmind-de / ktor-env-config
  Environment aware configuration system for ktor.io
  ☆43Updated 3 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
• paslavsky / exktor
  Extension modules for Ktor
  ☆19Updated 2 years ago
• sksamuel / cohort
  Ktor/Vertx spring-actuator style library - healthchecks, logging, database
  ☆178Updated last month
• InsanusMokrassar / krontab
  Library for using Crontab-like syntax in scheduling of some Kotlin Coroutines tasks to do from time to time
  ☆126Updated this week
• yeicor / kraphviz
  Graphviz for Kotlin Multiplatform
  ☆12Updated last year
• getspherelabs / buildable
  Buildable is a code generation tool that automates the creation of mappers, factories, and state classes for Kotlin
  ☆16Updated 2 years ago
• ktorio / ktor-build-plugins
  Ktor Plugins for Build Systems
  ☆78Updated this week
• JetBrains / klibs-io
  Search Kotlin Multiplatform projects and packages
  ☆17Updated this week
• HaydenMeloche / khealth
  A simple and customizable health plugin for Ktor
  ☆25Updated 11 months ago
• fabrikt-io / fabrikt
  Generates Kotlin Code from OpenApi3 Specifications
  ☆245Updated last week
• elizarov / AdventOfCode2020
  ☆10Updated 5 years ago
• kotools / types
  Explicit types for Kotlin Multiplatform.
  ☆113Updated 2 months ago
• 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
• jillesvangurp / kt-search
  Multi platform kotlin client for Elasticsearch & Opensearch with easily extendable Kotlin DSLs for queries, mappings, bulk, and more.
  ☆143Updated last week
• tabilzad / inspektor
  Provides Ktor Swagger support
  ☆62Updated last month
• gradlex-org / build-parameters
  Compile-safe access to parameters supplied to a Gradle build
  ☆110Updated last week
• bitPogo / kmock
  A humble mocking library for Kotlin, KotlinJS and Kotlin Multiplatform using Kotlin Symbol Processing (KSP).
  ☆62Updated last year
• ktorio / ktor-klip
  Library improvement proposals for new features in Ktor
  ☆47Updated 3 weeks ago
• hfhbd / kotlinx-serialization-csv
  CSV and FixedLength Formats for kotlinx-serialization
  ☆33Updated this week
• elizarov / AdventOfCode2023
  Advent of Code 2023
  ☆27Updated 2 years ago
• open-toast / protokt
  Protobuf compiler and runtime for Kotlin
  ☆162Updated 2 months ago