-
backend-academy-2024-fall Public
Forked from central-university-dev/backend-academy-2024-fallJava UpdatedOct 30, 2024 -
csclub-coq-course-spring-2021 Public
Forked from anton-trunov/csclub-coq-course-spring-2021A course on formal verification at https://compsciclub.ru/en, Spring term 2021
HTML UpdatedJun 8, 2023 -
quill Public
Forked from zio/zio-quillCompile-time Language Integrated Queries for Scala
Scala Apache License 2.0 UpdatedApr 16, 2023 -
tofu Public
Forked from tofu-tf/tofuFunctional programming toolbox
Scala Apache License 2.0 UpdatedApr 16, 2023 -
-
zio-logging Public
Forked from zio/zio-loggingPowerful logging for ZIO 2.0 applications, with compatibility with many logging backends out-of-the-box.
Scala Apache License 2.0 UpdatedApr 7, 2022 -
train-station Public
Forked from the-pavels/train-stationDemo application built on top of Apache Pulsar
Scala UpdatedMar 4, 2022 -
-
json-schema-validator Public
Forked from networknt/json-schema-validatorA fast Java JSON schema validator that supports draft V4, V6, V7 and V2019-09
Java Apache License 2.0 UpdatedNov 10, 2021 -
sttp-openapi-generator Public
Forked from ghostbuster91/sttp-openapi-generatorGenerate sttp client from openapi specification with ease!
Scala Apache License 2.0 UpdatedSep 12, 2021 -
guardrail Public
Forked from guardrail-dev/guardrailPrincipled code generation from OpenAPI specifications
Scala MIT License UpdatedAug 31, 2021 -
swagger-codegen Public
Forked from swagger-api/swagger-codegenswagger-codegen contains a template-driven engine to generate documentation, API clients and server stubs in different languages by parsing your OpenAPI / Swagger definition.
Mustache Apache License 2.0 UpdatedAug 30, 2021 -
swagger-codegen-generators Public
Forked from swagger-api/swagger-codegen-generatorsMustache Apache License 2.0 UpdatedAug 29, 2021 -
-
-
awesome-copycats Public
Forked from lcpz/awesome-copycatsAwesome WM themes
Lua UpdatedMay 10, 2021 -
circe-fs2 Public
Forked from circe/circe-fs2Streaming JSON parsing and decoding with fs2
Scala UpdatedMay 4, 2021 -
openapi-scala Public
Forked from NumberFour/openapi-scalaAn opinionated library and SBT plugin for generating Scala code from OpenAPI 3.
Scala MIT License UpdatedApr 1, 2021 -
spring-security Public
Forked from spring-projects/spring-securitySpring Security
Java Apache License 2.0 UpdatedApr 1, 2021 -
netty Public
Forked from netty/nettyNetty project - an event-driven asynchronous network application framework
Java Apache License 2.0 UpdatedMar 31, 2021 -
gpu-burn Public
Forked from wilicc/gpu-burnMulti-GPU CUDA stress test
C++ BSD 2-Clause "Simplified" License UpdatedMar 7, 2021 -
allure-cucumber5-testng-maven Public
Forked from allure-examples/cucumberjvm-testng-mavenExample of usage Allure Report with Cucumber5 on TestNG and Maven
Java UpdatedMar 6, 2021 -
git-client-plugin Public
Forked from jenkinsci/git-client-pluginJenkins git client plugin
Java MIT License UpdatedFeb 21, 2021 -
allure-java Public
Forked from allure-framework/allure-javaAllure integrations for Java test frameworks
Java Apache License 2.0 UpdatedFeb 15, 2021 -
mockito Public
Forked from mockito/mockitoMost popular Mocking framework for unit tests written in Java
Java MIT License UpdatedDec 8, 2020 -
-
-
scala-with-cats Public
Forked from scalawithcats/scala-with-catsSource code for Scala with Cats
JavaScript UpdatedSep 9, 2020 -
idris-jvm Public
Forked from mmhelloworld/idris-jvmJVM bytecode back end for Idris
Idris BSD 3-Clause "New" or "Revised" License UpdatedAug 16, 2020 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJul 23, 2020
{{ message }}