Declarative network configuration for various backends

Temporal Logic Planning toolbox

Python library for automating the administration of Google Alerts.

A Pythonic integration for LLMs.

Pytorch Implementation of https://github.com/shubhtuls/volumetricPrimitives

Making testing of UIs fantastic.

This repo contains all the materials and solutions of UC Berkeley CS 61A fall semester 2023

This is object oriented programming cheatsheet

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

An abstract model of EDA tool projects.

A Python package for common pre- and post-processing operations done by CFA Predict for short term forecasting, nowcasting, and scenario modeling.

EDA Tool CLI Abstraction Layer.

Conceptual model for characterizing the abstraction layers in Electronic Design Automation projects.

💫 CCOBJPGL-PY - Object-Oriented Programming in Python

基于Tensorflow官方教程的基于注意力的神经机器翻译重构的代码，使用Seq2Seq做机器翻译和摘要生成代码仓库。使用Tensorflow2.3进行构建。

Source code for the paper "Online Abstraction with MDP Homomorphisms for Deep Learning".

🪁Structure and Interpretation of Computer Programs, delivered by Paul N. Hilfinger & Pamela Fox，中文名为计算机程序的构造和解释

msaFilesystem - Agnostic Abstract Filesystem API which allows to use S3, GCS, Azure Datalake, your local FS, Youtube etc Optimized for use with FastAPI/Pydantic.

Python Object Oriented Programing