Declarative network configuration for various backends
-
Updated
Sep 16, 2024 - Python
Declarative network configuration for various backends
Temporal Logic Planning toolbox
Python library for automating the administration of Google Alerts.
Pytorch Implementation of https://github.com/shubhtuls/volumetricPrimitives
Making testing of UIs fantastic.
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
DPLL(T)-based Verification tool for DNNs
Conceptual model for characterizing the abstraction layers in Electronic Design Automation projects.
msaFilesystem - Agnostic Abstract Filesystem API which allows to use S3, GCS, Azure Datalake, your local FS, Youtube etc Optimized for use with FastAPI/Pydantic.
基于Tensorflow官方教程的基于注意力的神经机器翻译重构的代码,使用Seq2Seq做机器翻译和摘要生成代码仓库。使用Tensorflow2.3进行构建。
CCOBJPGL-PY - Object-Oriented Programming in Python
Source code for the paper "Online Abstraction with MDP Homomorphisms for Deep Learning".
Python Object Oriented Programing
Bridging FTP server and cloud storage
Official Repository of the "How to Learn and Represent Abstractions: An Investigation using Symbolic Alchemy" Paper
Machine Learning on Container (inspired by NSML from CLAIR)
Add a description, image, and links to the abstraction topic page so that developers can more easily learn about it.
To associate your repository with the abstraction topic, visit your repo's landing page and select "manage topics."