volumetricPrimitivesCode release for "Learning Shape Abstractions by Assembling Volumetric Primitives " (CVPR 2017)
Stars: ✭ 137 (+372.41%)
thetaGeneric, modular and configurable formal verification framework supporting various formalisms and algorithms
Stars: ✭ 34 (+17.24%)
VppModern C++ vulkan utility library.
Stars: ✭ 245 (+744.83%)
SparrowA simple database toolkit for PHP
Stars: ✭ 236 (+713.79%)
Go BillyThe missing interface filesystem abstraction for Go
Stars: ✭ 184 (+534.48%)
DosaDOSA is a data object abstraction layer
Stars: ✭ 172 (+493.1%)
Gen rmqElixir AMQP consumer and publisher behaviours
Stars: ✭ 146 (+403.45%)
Use LessReact hooks that help you do what you already did, with more indirection
Stars: ✭ 135 (+365.52%)
Common Tags🔖 Useful template literal tags for dealing with strings in ES2015+
Stars: ✭ 1,761 (+5972.41%)
Yspideryspider -- 轻量级爬虫系统
Stars: ✭ 125 (+331.03%)
IvyThe templated deep learning framework, enabling framework-agnostic functions, layers and libraries.
Stars: ✭ 118 (+306.9%)
DunaiClassic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions
Stars: ✭ 115 (+296.55%)
Tulip ControlTemporal Logic Planning toolbox
Stars: ✭ 81 (+179.31%)
Rom HttpAbstract HTTP adapter for ROM
Stars: ✭ 65 (+124.14%)
Raw Vulkan🔥 Experiments building Vulkan applications, libraries, and abstractions.
Stars: ✭ 42 (+44.83%)
KokkosKokkos C++ Performance Portability Programming EcoSystem: The Programming Model - Parallel Execution and Memory Abstraction
Stars: ✭ 744 (+2465.52%)
Porter💄 Scalable and durable all-purpose data import library for publishing APIs and SDKs.
Stars: ✭ 547 (+1786.21%)
MacroidA modular functional UI language for Android
Stars: ✭ 537 (+1751.72%)
TronLightweight network abstraction layer, written on top of Alamofire
Stars: ✭ 508 (+1651.72%)
FgRendering abstraction which describes a frame as a directed acyclic graph of render tasks and resources.
Stars: ✭ 390 (+1244.83%)
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.
Stars: ✭ 338 (+1065.52%)
GokvSimple key-value store abstraction and implementations for Go (Redis, Consul, etcd, bbolt, BadgerDB, LevelDB, Memcached, DynamoDB, S3, PostgreSQL, MongoDB, CockroachDB and many more)
Stars: ✭ 314 (+982.76%)
Resumos EMAP-FGVRepositório de resumos do curso de Matemática Aplicada da FGV-EMAP
Stars: ✭ 23 (-20.69%)
ILAngA Modeling and Verification Platform for SoCs using ILAs
Stars: ✭ 52 (+79.31%)
NavKitSimple and integrated way to customize navigation bar experience on iOS app.
Stars: ✭ 37 (+27.59%)
kafka-doHigher level abstraction for franz-go.
Stars: ✭ 21 (-27.59%)
JOLI.jlJulia Operators LIbrary
Stars: ✭ 14 (-51.72%)
Lexical.FileSystemVirtual IFileSystem interfaces, and implementations.
Stars: ✭ 24 (-17.24%)
JSON-API-ClientAbstract client-side php implementation of the json api specification (jsonapi.org)
Stars: ✭ 17 (-41.38%)
EnchiladaEnchilada is a filesystem abstraction layer written in C#
Stars: ✭ 29 (+0%)
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.
Stars: ✭ 26 (-10.34%)
EffectorThe state manager ☄️
Stars: ✭ 3,572 (+12217.24%)
PlasticThis project provides encapsulation of things like Domain, Application Rules, Business Rules or Business Logic in Application.
Stars: ✭ 30 (+3.45%)
firecrackerStop half-done API specifications! Cherrybomb is a CLI tool that helps you avoid undefined user behaviour by validating your API specifications.
Stars: ✭ 438 (+1410.34%)
peasy-js-samplesShowcases business logic built with peasy-js and consumed by multiple clients
Stars: ✭ 19 (-34.48%)
ApiLogicServerInstantly create customizable database web app projects, providing API, Admin UI, and unique declarative business logic.
Stars: ✭ 83 (+186.21%)
interactorSimple service objects for PHP
Stars: ✭ 36 (+24.14%)
ex operationA library for making domain operations in Elixir
Stars: ✭ 33 (+13.79%)