A compatibility layer for event-driven abstractions
- stream-processing
- future
- clojure
- async
Repository Index
61,275 visible repositories in the index
97–120 of 309 · Most stars
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
Simple browser extension for managing Polkadot and Substrate network accounts in a browser. Allows the signing of extrinsics using these accounts. Also provides a simple interface for compliant extensions for dapps.
An HTTP cache system, RFC compliant, compatible with @tyktechnologies, @traefik, @caddyserver, @go-chi, @bnkamalesh, @beego, @devfeel, @labstack, @gofiber, @go-goyave, @go-kratos, @gin-gonic, @roadrunner-server, @zalando, @zeromicro, @nginx and @apache
- http-cache
- traefik
- souin-instance
- traefik-plugin
Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
Category Theory and Algebraic abstractions for Clojure and ClojureScript.
Abstruse is a free and open-source CI/CD platform that tests your models and code.
- continuous-integration
- continuous-delivery
- continuous-testing
- continuous-deployment
Protocol oriented, Cocoa UI abstractions based library that helps to handle view controllers composition, navigation and deep linking tasks in the iOS application. Can be used as the universal replacement for the Coordinator pattern.
- router
- routing-engine
- deeplink
- deeplinks
InfluxDB Studio is a UI management tool for the InfluxDB time series database.
Elm-like abstractions for F# apps
- fable
- fsharp
- elm
- redux
GraphQL language support for WebStorm, IntelliJ IDEA and other IDEs based on the IntelliJ Platform.
- graphql
- webstorm
- intellij
- apollo
Simple key-value store abstraction and implementations for Go (Redis, Consul, etcd, bbolt, BadgerDB, LevelDB, Memcached, DynamoDB, S3, PostgreSQL, MongoDB, CockroachDB and many more)
- go
- golang
- key-value
- key-value-store
A Flutter plugin that provides images, videos, and audio abstraction management APIs without interface integration, available on Android, iOS, macOS and OpenHarmony.
Neovim plugin introducing a new operators motions to quickly replace and exchange text.
🤠 Object property paths with wildcards and regexps 🌵
- nodejs
- javascript
- map
- json
ROS package for dynamic obstacle avoidance for ground robots trained with deep RL
- tensorflow
- ros
- deep-reinforcement-learning
- collision-avoidance
JSON query and transformation language
- java
- json
- query
- transform
🌭 Mustard is a Swift library for tokenizing strings when splitting by whitespace doesn't cut it.
- swift
- substrings
- tokenizer
std::experimental::simd for GCC [ISO/IEC TS 19570:2018]
- cpp17
- simd
- libstdcxx
- gcc
A portable logging abstraction for .NET
A multiplatform expectation library for Kotlin
- assertion-library
- kotlin-multiplatform
- kotlin
- kotlin-testing
Platform Abstraction C++ Libraries
A neovim plugin for moving around your code in a syntax tree aware manner
- abstract-syntax-tree
- navigation
- neovim
- plugin
☂️ Analytics abstraction layer for Swift
- swift
- analytics