Formal automated verification of Lace's work-stealing deque using VerCors
-
Updated
Jan 26, 2020
Formal automated verification of Lace's work-stealing deque using VerCors
Отборочный тур для олимпиады по компьютерной безопасности в рамках RuCTF 2019
YTCTF Platform frontend
YTCTF Platform API
Тасковый этап III Кубка CTF России
RuCTF 2019 Olymp qualification round
FunHPC: Functional HPC Programming
CTF Cup 2019. Developed with ♥ by HackerDom team & @revervand
Silk - lightweight engine for creating task-based runtime.
Event driven asynchronous tasks
Software for Testing Accuracy, Reliability and Scalability of Hierarchical computations.
Light-weight, cross-platform (NET Core 2.1) C# Asynchronous file server and text messaging platform. Utilizes custom extension methods which wrap asynchronous TCP socket method pairs, providing the benefits of the Task Parallel Library (TPL) to socket programming.
A Task-based Library for Solving Dense Nonsymmetric Eigenvalue Problems
DLA-Future
Modern astrophysics and cosmology particle-based code. Mirror of gitlab developments at https://gitlab.cosma.dur.ac.uk/swift/swiftsim
BabyAGI-🦙: Enhanced for Llama models (running 100% local) and persistent memory, with smart internet search based on BabyCatAGI and document embedding in langchain based on privateGPT
Add a description, image, and links to the task-based topic page so that developers can more easily learn about it.
To associate your repository with the task-based topic, visit your repo's landing page and select "manage topics."