laplacekorea Goto Github PK

cvxpy

A Python-embedded modeling language for convex optimization problems.

cxx-async

Simple interoperability between C++ coroutines and asynchronous Rust

cxxgraph

Header-Only C++ Library for Graph Representation and Algorithms

cyclegg

Cyclic theorem prover for equalitional reasoning using egraphs

cypress

Fast, easy and reliable testing for anything that runs in a browser.

da2020

Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020

da2lite

DA2Lite is an automated model compression toolkit for PyTorch.

dafny-of-python

A tool for deductive verification of Python programs based on Dafny

daggergpu.jl

GPU integrations for Dagger.jl

daggy

Daggy - Data Aggregation Utility and C/C++ developer library for data streams catching

dali_backend

The Triton backend that allows running GPU-accelerated data pre-processing pipelines implemented in DALI's python API.

dall-e

PyTorch package for the discrete VAE used for DALL·E.

dalle-mini

DALL·E Mini - Generate images from a text prompt

dalle-pytorch

Implementation / replication of DALL-E, OpenAI's Text to Image Transformer, in Pytorch

dalle2-pytorch

Implementation of DALL-E 2, OpenAI's updated text-to-image synthesis neural network, in Pytorch

damagenet

A Universal Adversarial Dataset

damn-vulnerable-defi-foundry

Damn Vulnerable DeFi - Foundry Version

darkforest

A console and web-based Roguelike written in Rust and WebAssembly

darn

Extras for the Book on Data Analysis with Rust Notebooks

darwinexlabs

Datasets, tools and more from Darwinex Labs - Prop Investing Arm & Quant Team @ Darwinex

dash.jl

Dash for Julia - A Julia interface to the Dash ecosystem for creating analytic web applications in Julia. No JavaScript required.

dashboard-demo

Responsive web application demo made with Vaadin Framework

dashing2

Dashing 2 is a fast toolkit for k-mer and minimizer encoding, sketching, comparison, and indexing.

dat3m

A verification tool for many memory models

data

data-engineering-zoomcamp

Free Data Engineering course!

data-free_network_quantization_with_adversarial_knowledge_distillation

Data-Free Network Quantization With Adversarial Knowledge Distillation PyTorch

database-meetup

The home page of database meetup

dataco-smart-supply-chain-for-big-data-analysis

DataCo SMART SUPPLY CHAIN FOR BIG DATA ANALYSIS

datadrivengmg.jl

Data-driven Geometric Multi-Grid solver for the discrete Poisson equation