dzmitry-lahoda

dzmitry-lahoda

Geek Repo

Location:portugal

Home Page:lahoda.eth

Github PK Tool:Github PK Tool

dzmitry-lahoda's starred repositories

argo-workflows

Workflow Engine for Kubernetes

Language:GoLicense:Apache-2.0Stargazers:14403Issues:202Issues:5737

oneTBB

oneAPI Threading Building Blocks (oneTBB)

Language:C++License:Apache-2.0Stargazers:5352Issues:162Issues:655

testcontainers-go

Testcontainers for Go is a Go package that makes it simple to create and clean up container-based dependencies for automated integration/smoke tests. The clean, easy-to-use API enables developers to programmatically define containers that should be run as part of a test and clean up those resources when the test is done.

parquet-mr

Apache Parquet

Language:JavaLicense:Apache-2.0Stargazers:2436Issues:92Issues:0

flix

The Flix Programming Language

Language:ScalaLicense:NOASSERTIONStargazers:2063Issues:22Issues:3254

awesome-argo

A curated list of awesome projects and resources related to Argo (a CNCF graduated project)

Ipopt

COIN-OR Interior Point Optimizer IPOPT

Language:C++License:NOASSERTIONStargazers:1313Issues:42Issues:578

amazon-kinesis-video-streams-webrtc-sdk-c

Amazon Kinesis Video Streams Webrtc SDK is for developers to install and customize realtime communication between devices and enable secure streaming of video, audio to Kinesis Video Streams.

Language:CLicense:Apache-2.0Stargazers:984Issues:52Issues:1059

PySCIPOpt

Python interface for the SCIP Optimization Suite

Language:JetBrains MPSLicense:MITStargazers:758Issues:26Issues:507

astroid

A graphical threads-with-tags style, lightweight and fast, e-mail client for Notmuch

Language:C++License:NOASSERTIONStargazers:603Issues:24Issues:513

zio

unified io lib for pwning development written in python

Language:PythonLicense:NOASSERTIONStargazers:390Issues:32Issues:14

scip

SCIP - Solving Constraint Integer Programs

Language:CLicense:NOASSERTIONStargazers:353Issues:11Issues:76

aws-lc-rs

aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring.

Language:RustLicense:NOASSERTIONStargazers:221Issues:11Issues:36

merkdir

Create Merkle trees from your directories.

Language:GoLicense:GPL-3.0Stargazers:104Issues:3Issues:2

argocd-extensions

Support for extending Argo CD

goflags

A go flag wrapper with convenience helpers

Language:GoLicense:MITStargazers:71Issues:16Issues:53

infotheo

A Coq formalization of information theory and linear error-correcting codes

Language:CoqLicense:LGPL-2.1Stargazers:61Issues:5Issues:34

papilo

Parallel Presolve for Integer and Linear Optimization

Language:JetBrains MPSLicense:LGPL-3.0Stargazers:57Issues:9Issues:42

soplex

Sequential object-oriented simPlex

Language:C++License:NOASSERTIONStargazers:55Issues:5Issues:24

mittelmann-plots

Visualizations of Mittelmann benchmarks

Language:PythonLicense:MITStargazers:52Issues:6Issues:3

transfer-chain-js

A simple Hyperledger Sawtooth app that handles transferring of assets

Language:JavaScriptLicense:Apache-2.0Stargazers:36Issues:3Issues:9

ThirdParty-HSL

COIN-OR autotools harness to build HSL linear solvers

Language:ShellLicense:EPL-1.0Stargazers:29Issues:8Issues:19

russcip

Rust interface for SCIP

Language:RustLicense:Apache-2.0Stargazers:28Issues:5Issues:46

CoinMP

C-API library for CLP, CBC, and CGL

Language:ShellLicense:NOASSERTIONStargazers:15Issues:5Issues:20

rust-gurobi

Unofficial Rust API for Gurobi Optimizer

Language:RustLicense:MITStargazers:14Issues:4Issues:25
Language:TypeScriptLicense:Apache-2.0Stargazers:13Issues:3Issues:0

flakegen

Flake inputs with the full power of Nixlang

Language:NixLicense:MITStargazers:11Issues:3Issues:2

sassy

the sassy preprocessor for symmetry detection

Language:C++License:MITStargazers:5Issues:3Issues:0

neutron-examples

A set of example contracts exploring Neutron's interchain accounts/queries/txs

Language:RustLicense:MITStargazers:3Issues:0Issues:0