A massively parallel, high-level programming language

A curated list of visual reinforcement learning resources

Intro to Reinforcement Learning (强化学习纲要）

强化学习中文教程（蘑菇书🍄），在线阅读地址：https://datawhalechina.github.io/easy-rl/

A DSL for efficient Graph Analysis

The Git repository for the mCRL2 toolset.

Compile time feature toggles via CMake variables for C and C++ projects.

Continuous builder and binary build scripts for pytorch

A rewrite of the old legacy software "depends.exe" in C# for Windows devs to troubleshoot dll load dependencies issues.

Pairwise Independent Combinatorial Tool

- (mirror of https://gerrit.googlesource.com/plugins/webhooks)

JGit, the Java implementation of git

Subversion frontend server for Git repositories

Standalone Git LFS server

Parallel Algorithm Scheduling Library

Official HDF5® Library Repository

`std::execution`, the proposed C++ framework for asynchronous and parallel programming.

APALACHE: symbolic model checker for TLA+ and Quint

Examples of efficiently using Apalache

MATLAB MAT File I/O Library

The commitizen command line utility. #BlackLivesMatter

C/C++ library to handle writing simple Matlab(r) MAT file

TLA+ language support for Visual Studio Code

OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, publication and presentations, please check out our website ->

Source for TrunkBasedDevelopment.com

A curated list of amazingly awesome Git tools, resources and shiny things

This plugin can send patches to ChatGPT for code review.

This repo contains driver samples prepared for use with Microsoft Visual Studio and the Windows Driver Kit (WDK). It contains both Universal Windows Driver and desktop-only driver samples.