stjordanis Goto Github PK

copula-like-vi

Copula-like variational inference

copula-variational-bayes

Matlab code for my paper "Copula Variational Bayes inference via information geometry", IEEE Trans. on information theory, 2018

copy

A Burp Suite extension that allows you to copy requests as a C program.

copy-as-powershell-requests

Copy as PowerShell request(s) plugin for Burp Suite (approved by PortSwigger for inclusion in their official BApp Store).

copyandreplace

Visual Studio extension to quckly rename/change file that was just pasted

copycat

Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat

copyist

Mocking your SQL database in Go tests has never been easier.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-hardy

Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq

coqa_quesans_bert

CoQA QuesAns using BERT, PyTorch and Hugging Face Transformers

coqgym

A Learning Environment for Theorem Proving with the Coq proof assistant

coravel

Near-zero config .NET Core library that makes Task Scheduling, Caching, Queuing, Mailing, Event Broadcasting (and more) a breeze!

corda-ansible

Ansible role to install Corda

corda-notary-hedera

cordova-facebook

Cordova plugin that handles Facebook integration in mobile apps.

cordova-ionic-chat-app

Open-source Voice & Video Calling and Text Chat App for Cordova/Ionic

core

The Ark Blockchain :fireworks:. Check https://docs.ark.io/guidebook/ for more information.

core-1

Home repository for .NET Core

core-10

Server core components which are a part of ONLYOFFICE Document Server

core-2

Elm's core libraries

core-3

WebSharper - the C#+F#-to-JavaScript framework

core-4

:house_with_garden: Open source home automation that puts local control and privacy first

core-5

🚀 The Node.js Framework highly focused on developer ergonomics, stability and confidence

core-6

GO implementation of the Terra Protocol

core-7

:cloud: ownCloud web server core (Files, DAV, etc.)

core-8

MIRACL Core

core-9

Jane Street Capital's standard library overlay

core-graphql-nestedtable

core-libraries-committee

core-rl

Code implementing the CORE-RL algorithm with DDPG, PPO, and TRPO. See the paper "Control Regularization for Reduced Variance Reinforcement Learning" for additional details.