Repository Index

Unmaintained! ⚠️ CSS Object Model implemented in pure JavaScript. Also, a CSS parser.

• css-parser
• cssom
• dom
• javascript

Low-overhead, non-blocking I/O, external Process implementation for Java

A basic but performant promise implementation.

Quick development library (AutoMapper, LinQ, IOC Dependency Injection, MemoryCache, Scheduled tasks, Json and Yml Config and Options pattern, Serializers, etc) with crossplatform support for Delphi/Firemonkey (Windows,Linux,OSX/IOS/Android) and freepascal (Windows/Linux).

• delphi
• azure
• config
• json

Mathematical Components

• coq
• ssreflect
• mathcomp
• coq-formalization

The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.

• qbit
• java
• microservice
• websocket-support

Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.

• ramda
• addons
• adjunct
• cookbook

A simple, easy to use library for React development in ClojureScript.

• clojurescript
• hooks
• react
• interop

PHP library for parsing plain text email content.

• php
• parser
• email

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof

An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.

• cpp
• cplusplus
• cplusplus-17
• actor-model

A lightweight ClojureScript abstraction over ReactJS

C++11 thread-safe container for sharing data between threads (synchronized queue)

• cpp
• multithreading
• thread-safe
• channel

Fibers and actors for web development

💎 Ruby wrapper for Pygments syntax highlighter

• pygments
• ruby
• syntax-highlighting

This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

• coq
• metaprogramming
• coq-formalization
• rocq

An opinionated F# Library for error handling

• fsharp
• error-handling
• railway-oriented-programming
• category-theory

A port of Coq to Javascript -- Run Coq in your Browser

• coq
• proof-assistant
• javascript
• integrated-development-environment

A wrapper for the Eclipse Mosquitto™ MQTT client library for PHP.

• php
• mqtt-client
• mosquitto
• libmosquitto

go-functional is a library of iterators to augment the standard library

• go
• golang
• functional-programming

http://hopac.github.io/Hopac/Hopac.html

• concurrent-programming
• csp
• actors
• cml

Emits events in Go way, with wildcard, predicates, cancellation possibilities and many other good wins

• emitter
• golang

Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka

• actors
• cqrs
• event-sourcing
• fsm