VppModern C++ vulkan utility library.
SparrowA simple database toolkit for PHP
Go BillyThe missing interface filesystem abstraction for Go
DosaDOSA is a data object abstraction layer
Gen rmqElixir AMQP consumer and publisher behaviours
Use LessReact hooks that help you do what you already did, with more indirection
Common Tags🔖 Useful template literal tags for dealing with strings in ES2015+
IvyThe templated deep learning framework, enabling framework-agnostic functions, layers and libraries.
DunaiClassic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions
Raw Vulkan🔥 Experiments building Vulkan applications, libraries, and abstractions.
KokkosKokkos C++ Performance Portability Programming EcoSystem: The Programming Model - Parallel Execution and Memory Abstraction
Porter💄 Scalable and durable all-purpose data import library for publishing APIs and SDKs.
MacroidA modular functional UI language for Android
TronLightweight network abstraction layer, written on top of Alamofire
FgRendering abstraction which describes a frame as a directed acyclic graph of render tasks and resources.
Scala typeclassopediaAbstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.
GokvSimple key-value store abstraction and implementations for Go (Redis, Consul, etcd, bbolt, BadgerDB, LevelDB, Memcached, DynamoDB, S3, PostgreSQL, MongoDB, CockroachDB and many more)
Resumos EMAP-FGVRepositório de resumos do curso de Matemática Aplicada da FGV-EMAP
ILAngA Modeling and Verification Platform for SoCs using ILAs
NavKitSimple and integrated way to customize navigation bar experience on iOS app.
kafka-doHigher level abstraction for franz-go.
JSON-API-ClientAbstract client-side php implementation of the json api specification (jsonapi.org)
EnchiladaEnchilada is a filesystem abstraction layer written in C#
MantleMantle is a framework for building massively scalable .NET-based applications that can be hosted either on-premises or on a variety of public cloud providers including Microsoft Azure and Amazon AWS.
ActionLogicA business logic abstraction gem that provides structure to the organization and composition of business logic (Ruby)
volumetricPrimitivesCode release for "Learning Shape Abstractions by Assembling Volumetric Primitives " (CVPR 2017)
thetaGeneric, modular and configurable formal verification framework supporting various formalisms and algorithms