ILAngA Modeling and Verification Platform for SoCs using ILAs
Stars: ✭ 52 (-62.04%)
EnchiladaEnchilada is a filesystem abstraction layer written in C#
Stars: ✭ 29 (-78.83%)
IvyThe templated deep learning framework, enabling framework-agnostic functions, layers and libraries.
Stars: ✭ 118 (-13.87%)
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 (+146.72%)
Gen rmqElixir AMQP consumer and publisher behaviours
Stars: ✭ 146 (+6.57%)
CGMMOfficial Repository of "Contextual Graph Markov Model" (ICML 2018 - JMLR 2020)
Stars: ✭ 35 (-74.45%)
Change Detection ReviewA review of change detection methods, including codes and open data sets for deep learning. From paper: change detection based on artificial intelligence: state-of-the-art and challenges.
Stars: ✭ 248 (+81.02%)
Raw Vulkan🔥 Experiments building Vulkan applications, libraries, and abstractions.
Stars: ✭ 42 (-69.34%)
TronLightweight network abstraction layer, written on top of Alamofire
Stars: ✭ 508 (+270.8%)
SpectralclusterPython re-implementation of the spectral clustering algorithm in the paper "Speaker Diarization with LSTM"
Stars: ✭ 220 (+60.58%)
Go BillyThe missing interface filesystem abstraction for Go
Stars: ✭ 184 (+34.31%)
Resumos EMAP-FGVRepositório de resumos do curso de Matemática Aplicada da FGV-EMAP
Stars: ✭ 23 (-83.21%)
unsupervised-qaTemplate-Based Question Generation from Retrieved Sentences for Improved Unsupervised Question Answering
Stars: ✭ 47 (-65.69%)
kafka-doHigher level abstraction for franz-go.
Stars: ✭ 21 (-84.67%)
Common Tags🔖 Useful template literal tags for dealing with strings in ES2015+
Stars: ✭ 1,761 (+1185.4%)
Lexical.FileSystemVirtual IFileSystem interfaces, and implementations.
Stars: ✭ 24 (-82.48%)
thetaGeneric, modular and configurable formal verification framework supporting various formalisms and algorithms
Stars: ✭ 34 (-75.18%)
ActionLogicA business logic abstraction gem that provides structure to the organization and composition of business logic (Ruby)
Stars: ✭ 29 (-78.83%)
Tulip ControlTemporal Logic Planning toolbox
Stars: ✭ 81 (-40.88%)
LadderLadder network is a deep learning algorithm that combines supervised and unsupervised learning.
Stars: ✭ 242 (+76.64%)
esappAn unsupervised Chinese word segmentation tool.
Stars: ✭ 13 (-90.51%)
MacroidA modular functional UI language for Android
Stars: ✭ 537 (+291.97%)
Pytorch ByolPyTorch implementation of Bootstrap Your Own Latent: A New Approach to Self-Supervised Learning
Stars: ✭ 213 (+55.47%)
SparrowA simple database toolkit for PHP
Stars: ✭ 236 (+72.26%)
FgRendering abstraction which describes a frame as a directed acyclic graph of render tasks and resources.
Stars: ✭ 390 (+184.67%)
Eigen-PortfolioUnsupervised machine learning Principal Component Analysis (PCA) on the Dow Jones Industrial Average index and it's respective 30 stocks to construct an optimized diversified intelligent portfolio.
Stars: ✭ 54 (-60.58%)
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 (+129.2%)
DosaDOSA is a data object abstraction layer
Stars: ✭ 172 (+25.55%)
CLSAofficial implemntation for "Contrastive Learning with Stronger Augmentations"
Stars: ✭ 48 (-64.96%)
NavKitSimple and integrated way to customize navigation bar experience on iOS app.
Stars: ✭ 37 (-72.99%)
Use LessReact hooks that help you do what you already did, with more indirection
Stars: ✭ 135 (-1.46%)
JOLI.jlJulia Operators LIbrary
Stars: ✭ 14 (-89.78%)
Yspideryspider -- 轻量级爬虫系统
Stars: ✭ 125 (-8.76%)
JSON-API-ClientAbstract client-side php implementation of the json api specification (jsonapi.org)
Stars: ✭ 17 (-87.59%)
naruNeural Relation Understanding: neural cardinality estimators for tabular data
Stars: ✭ 76 (-44.53%)
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 (-81.02%)
DunaiClassic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions
Stars: ✭ 115 (-16.06%)
CS-DisMo[ICCVW 2021] Rethinking Content and Style: Exploring Bias for Unsupervised Disentanglement
Stars: ✭ 20 (-85.4%)
OpenunreidPyTorch open-source toolbox for unsupervised or domain adaptive object re-ID.
Stars: ✭ 250 (+82.48%)
Rom HttpAbstract HTTP adapter for ROM
Stars: ✭ 65 (-52.55%)
UnflowUnFlow: Unsupervised Learning of Optical Flow with a Bidirectional Census Loss
Stars: ✭ 239 (+74.45%)
temporal-sslVideo Representation Learning by Recognizing Temporal Transformations. In ECCV, 2020.
Stars: ✭ 46 (-66.42%)
Unsupervised Video[CVPR 2017] Unsupervised deep learning using unlabelled videos on the web
Stars: ✭ 233 (+70.07%)
Transmomo.pytorchThis is the official PyTorch implementation of the CVPR 2020 paper "TransMoMo: Invariance-Driven Unsupervised Video Motion Retargeting".
Stars: ✭ 225 (+64.23%)
TA3N[ICCV 2019 Oral] TA3N: https://github.com/cmhungsteve/TA3N (Most updated repo)
Stars: ✭ 45 (-67.15%)
KokkosKokkos C++ Performance Portability Programming EcoSystem: The Programming Model - Parallel Execution and Memory Abstraction
Stars: ✭ 744 (+443.07%)
hmm market behaviorUnsupervised Learning to Market Behavior Forecasting Example
Stars: ✭ 36 (-73.72%)
deepvismachine learning algorithms in Swift
Stars: ✭ 54 (-60.58%)
dramaMain component extraction for outlier detection
Stars: ✭ 17 (-87.59%)
VppModern C++ vulkan utility library.
Stars: ✭ 245 (+78.83%)
Porter💄 Scalable and durable all-purpose data import library for publishing APIs and SDKs.
Stars: ✭ 547 (+299.27%)