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
YTCTF Platform API
Тасковый этап III Кубка CTF России
Отборочный тур для олимпиады по компьютерной безопасности в рамках RuCTF 2019
YTCTF Platform frontend
Event driven asynchronous tasks
FunHPC: Functional HPC Programming
Silk - lightweight engine for creating task-based runtime.
RuCTF 2019 Olymp qualification round
CTF Cup 2019. Developed with ♥ by HackerDom team & @revervand
A Task-based Library for Solving Dense Nonsymmetric Eigenvalue Problems
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.
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
Software for Testing Accuracy, Reliability and Scalability of Hierarchical computations.
DLA-Future
Modern astrophysics and cosmology particle-based code. Mirror of gitlab developments at https://gitlab.cosma.dur.ac.uk/swift/swiftsim
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."