Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Repository Index
47,133 repositories indexed
193–216 of 728 · Most stars
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
Library for creating tagged constructors.
C++ Reflection Parser / Runtime Skeleton
- cmake
- libclang
- c-plus-plus
- meta
Execute WebAssembly from Elixir
- rust
- wasm
- elixir
- elixir-library
JSON query and transformation language
- java
- json
- query
- transform
C++ promise/A+ library in Javascript style.
.NET Port of the ruby Less CSS lib
A simple, easy to use library for React development in ClojureScript.
- clojurescript
- hooks
- react
- interop
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
- functional-programming
- category-theory
- functor
- monad
Utility library for functional programming in Lua
- lua
- underscore
- functional-programming
- table
PHP library for parsing plain text email content.
A Ruby wrapper library to the tesseract-ocr API.
- rubynlp
- tesseract-ocr
- ruby
- wrapper
A header-only C++ library for task concurrency
Platform Abstraction C++ Libraries
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
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
A Promise library for Swift, based partially on Javascript's A+ spec
C++ bindings/wrapper for SDL2
Fibers and actors for web development
This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.
A parser combinator library for F#
Safe and easy to use crypto for iOS and macOS
- cryptography
- swift
- libsodium