483 Open source projects that are alternatives of or similar to fcsl-pcm

Verifying concurrent crash-safe systems

General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]

The VerCors verification toolset for verifying parallel and concurrent software

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]

SOMns: A Newspeak for Concurrency Research

Lightweight Concurrent Networking Framework

Enhanced concurrency primitives for Javascript.

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

No description or website provided.

Formalization of the polymorphic lambda calculus and its parametricity theorem

Lightweight parallel Java tasks

Go language basic workshops for devz

Swift library for making storing data in a SQLite database simple and magic-free

High concurrency demo

⚡️ Voltis Core: A PHP framework based on Swoole from the ground up

Synchronization and asynchronous computation package for Go

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

Hunch provides functions like: All, First, Retry, Waterfall etc., that makes asynchronous flow control more intuitive.

A formally verified high-level synthesis tool based on CompCert and written in Coq.

STM32 peripheral mappings for Drone, an Embedded Operating System.

A concurrent rate limiter library for Golang based on Sliding-Window rate limiter algorithm.

Yet Another Concurrency Library

The parallel, concurrent, and functional programming language for scalable software development

a bee-queue based minimalist toolkit for building fast, decentralized, scalable and fault tolerant microservices

Create, compose and inject asynchronous behaviors in .Net Framework and .Net Core.

Shard for creating separate groups of fibers in a hierarchical way and to collect results and errors in a structured way.

Examples of concurrency patterns implemented in Rust

Intermediate Memory Model (IMM) and compilation correctness proofs for it

BS::thread_pool: a fast, lightweight, and easy-to-use C++17 thread pool library

A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.

Convert Haskell source code to Coq source code.

A fast, concurrent based scripting language for D.

Bulletproof concurrent.futures

Python3爬虫系列的理论验证，首先研究I/O模型，分别用Python实现了blocking I/O、nonblocking I/O、I/O multiplexing各模型下的TCP服务端和客户端。然后，研究同步I/O操作（依序下载、多进程并发、多线程并发）和异步I/O（asyncio）之间的效率差别

Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization

A lightweight framework for golang object (struct) serialization (mapping). Inspired heavily by marshmallow (a Python library).

making executor service tougher

Download public videos on TikTok using Python with Selenium

Goroutine analogue for Node.js, spreads I/O-bound routine calls to utilize thread pool (worker_threads) using balancer with event loop utilization. 🌱

A graph concurrent library for C++

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

Core abstractions for dealing with concurrency in C++

A package to allow one to concurrently go through a filesystem with ease

Actor framework featuring actors and agents for easy access to state and asynchronous operations.

🎭 Database Integrity in Django: Safely Handling Critical Data in Distributed Systems

A library of mechanised undecidability proofs in the Coq proof assistant.

A concurrent collection that extends the existing Java concurrent collection library, offering an optionally-bounded blocking "multi-queue" based on linked nodes.

A threadsafe way to publish data, just stick it on the pinboard

Efficiently sort interdependent tasks into a sequence of concurrently-executable batches

Códigos feitos para o curso de Multithreading com Java, no canal RinaldoDev do YouTube.

Formalization of the basic actuarial mathematics using Coq

Idle is an asynchronous and hot-reloadable C++ dynamic component framework

A developing game server framework,based on Entity Component System(ECS).

Formalization of Typed Assembly Language (TAL) in Coq

Template project for program verification in Coq

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

Abstract over the atomicity of reference-counting pointers in rust

Small examples of concurrency in Haskell.

Archive for all Coq related OPAM packages organized in various repositories