日语五十音字帖

📚「阅读」APP 自用书源（网络小说）

Showcase examples for EPFL logic synthesis libraries

A logic synthesis tool

A collection of ISCAS,ITC,TAU and other Benchmark Circuits for EDA tool evaluation.

Browser-based ePub reader

The glucose SAT solver

A basic esp32 library for beginners 一个为新手打造的esp32基础库

A minimal crypto library for ESP8266 Arduino

TLS/SSL and crypto library

A short description of the project. This Repository will demonstrate using Pytorch to build deep convolutional neural networks and use Qt to create the GUI with the pre-trained model.

sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simp…

ESP8266 sketch to send info via MQTT protocol. The sketch is OTA updateable

OTA example for esp8266

my circuitSolver

Customize your Zotero workflow.

A Simple CDCL Solver

EPFL logic synthesis benchmarks

Logic optimization and technology mapping tool.

🆓免费的 ChatGPT 镜像网站列表，持续更新。List of free ChatGPT mirror sites, continuously updated.

DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization (ASPDAC'20)

AIGER And-Inverter-Graph Library

A high-efficiency hybrid solving CEC algorithm

Galois: C++ library for multi-core and multi-node parallelization

ABC: System for Sequential Logic Synthesis and Formal Verification

Framework for IoT projects implementing HTTPS requests, a React web interface, WiFi manager, live dashboard, configuration manager, file manager and OTA updates.

🦄️ 🎃 👻 Clash Premium 规则集(RULE-SET)，兼容 ClashX Pro、Clash for Windows 等基于 Clash Premium 内核的客户端。