Giters
Dmitry Krivaltsevich (dmitrykrivaltsevich)

dmitrykrivaltsevich

Geek Repo

5

followers

6

following

39

stars

Github PK Tool:Github PK Tool

Organizations
zalando-incubator

Dmitry Krivaltsevich's starred repositories

SoftwareDesignHeuristics

Heuristics for software design, development, testing, and maintenance programming.

Stargazers:122Issues:0Issues:0

diffusers

🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch and FLAX.

Language:PythonLicense:Apache-2.0Stargazers:24242Issues:0Issues:0

salary-report

Salary report visualization with D3.js :bar_chart: :moneybag:

Language:JavaScriptLicense:MITStargazers:31Issues:0Issues:0

org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Language:JavaLicense:NOASSERTIONStargazers:696Issues:0Issues:0

odin

Fast & Functional logger in Scala

Language:ScalaLicense:Apache-2.0Stargazers:309Issues:0Issues:0

wekan

The Open Source kanban (built with Meteor). Keep variable/table/field names camelCase. For translations, only add Pull Request changes to wekan/i18n/en.i18n.json , other translations are done at https://app.transifex.com/wekan/wekan only.

Language:JavaScriptLicense:MITStargazers:19280Issues:0Issues:0

masscan

TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.

Language:CLicense:AGPL-3.0Stargazers:23033Issues:0Issues:0

vagrant-aws

Use Vagrant to manage your EC2 and VPC instances.

Language:RubyLicense:MITStargazers:1Issues:0Issues:0

sbt-jmh

"Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)

Language:ScalaLicense:Apache-2.0Stargazers:785Issues:0Issues:0

sbt-updates

sbt plugin that can check Maven and Ivy repositories for dependency updates

Language:ScalaLicense:BSD-3-ClauseStargazers:757Issues:0Issues:0

OpenJML

This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:

Language:JavaStargazers:136Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:10005Issues:0Issues:0

wrk2

A constant throughput, correct latency recording variant of wrk

Language:CLicense:Apache-2.0Stargazers:4203Issues:0Issues:0

particles.js

A lightweight JavaScript library for creating particles

Language:JavaScriptLicense:MITStargazers:28715Issues:0Issues:0

play-zhewbacca

Play! framework library to protect REST endpoint by OAuth2 token verification - THIS PROJECT IS NOT LONGER ACTIVELY MAINTAINED

Language:ScalaLicense:MITStargazers:22Issues:0Issues:0

sbt

sbt, the interactive build tool

Language:ScalaLicense:Apache-2.0Stargazers:4776Issues:0Issues:0

playframework

The Community Maintained High Velocity Web Framework For Java and Scala.

Language:ScalaLicense:Apache-2.0Stargazers:12523Issues:0Issues:0

wycheproof

Project Wycheproof tests crypto libraries against known attacks.

Language:JavaLicense:Apache-2.0Stargazers:2733Issues:0Issues:0

scalacheck

Property-based testing for Scala

Language:ScalaLicense:BSD-3-ClauseStargazers:1932Issues:0Issues:0

comfusy

Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.

Language:ScalaLicense:BSD-2-ClauseStargazers:11Issues:0Issues:0

zappr

An agent that enforces guidelines for your GitHub repositories

Language:JavaScriptLicense:NOASSERTIONStargazers:542Issues:0Issues:0

atmos

Minimalist retry-on-failure behavior for Scala.

Language:ScalaLicense:Apache-2.0Stargazers:56Issues:0Issues:0

scalgos

algorithms in scala

Language:ScalaStargazers:436Issues:0Issues:0

raft.github.io

website at https://raft.github.io

Language:HTMLStargazers:1362Issues:0Issues:0

dissertation

Sources for my PhD dissertation on the Raft consensus algorithm

Language:TeXLicense:NOASSERTIONStargazers:975Issues:0Issues:0

papers-we-love

Papers from the computer science community to read and discuss.

Language:ShellStargazers:85539Issues:0Issues:0

og-aws

📙 Amazon Web Services — a practical guide

Language:ShellLicense:CC-BY-4.0Stargazers:35584Issues:0Issues:0

awesome-appsec

A curated list of resources for learning about application security

Language:PHPLicense:MITStargazers:6197Issues:0Issues:0

bash-git-prompt

An informative and fancy bash prompt for Git users

Language:ShellLicense:BSD-2-ClauseStargazers:6671Issues:0Issues:0

akka

Build highly concurrent, distributed, and resilient message-driven applications on the JVM

Language:ScalaLicense:NOASSERTIONStargazers:12996Issues:0Issues:0