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

Concurrent trie-hash map library

Portable implementation of future/promise API in C++

Bulletproof concurrent.futures

Official vibe.d development

Coq executable semantics and resource verifier

The standard library of the D programming language

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

⚡️ Next-generation Node.js bindings to the ZeroMQ library

Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.

Domain-Driven-Design Pub/Sub Domain-Events framework

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

Orleans is a cross-platform framework for building distributed applications with .NET

Combinatorial species in HoTT

🌀 Pykka makes it easier to build concurrent applications.

Actor Model library for Dart.

ZeroMQ core engine in C++, implements ZMTP/3.1

CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)

Checklist for code reviews

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

Test the performance of Go's concurrency structures

Automation for de Bruijn syntax and substitution in Coq

A safe and fast multi-producer, multi-consumer channel.

a header-only event-driven library based on c++11.

Concurrency patterns in Go

Actor framework for Rust.

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

An example project for book 'Go Programming & Concurrency in Practice, 2nd edition' (《Go并发编程实战》第2版).

Certified Relational to Imperative

Runs your tasks at maximum concurrency

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

Preparation links and resources for system design questions

KCoFI Pudding: The formal proofs for the KCoFI system

C++14 asynchronous allocation aware futures (supporting then, exception handling, coroutines and connections)

making executor service tougher

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

An axiom-free formalization of category theory in Coq for personal study and practical work

BAT华为大厂一线工程师四年磨一剑精心编排 Java 高并发编程案例代码 & 教程 & 面试题集锦。详细文档讲解请阅读本人的知识库仓：https://github.com/Wasabi1234/Java-Interview-Tutorial

Goose converts a small subset of Go to Coq

Multicore OCaml

Cosette is an automated SQL solver.

Download public videos on TikTok using Python with Selenium

Beautiful Streaming, Concurrent and Reactive Composition (Haskell)

Formal Reasoning About Programs

Create new JS processes for CPU intensive work

💪 Learn and implement the design patterns and best practices that make Go a top choice at high-velocity startups like Lyft, Heroku, Docker, Medium, and more!

Slack Bot Framework

This repo is the new home of Proof General

🔴 Functional task runner for Node.js

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

RECIPE : high-performance, concurrent indexes for persistent memory (SOSP 2019)

Mathematical Components

lightweight async/await for Clojure

A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.

A Lock Free Concurrent Circular Buffer

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

Java并发编程与高并发解决方案：http://coding.imooc.com/class/195.html Java开发企业级权限管理系统：http://coding.imooc.com/class/149.html

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq