371924172

awesome-linux-software-cn

Linux 优秀软件资源大全中文版：一些针对 Linux 发行版的非常棒的应用程序、实用工具以及其它相关材料。A curated list of awesome applications, softwares, tools and other materials for Linux distros.

clash-verge-rev

Continuation of Clash Verge - A Clash Meta GUI based on Tauri (Windows, MacOS, Linux)

benchmarks

EPFL logic synthesis benchmarks

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

lstools-showcase

Showcase examples for EPFL logic synthesis libraries

hdl-benchmarks

Collection of digital hardware modules & projects (benchmarks)

DRiLLS

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

zju-icicles

浙江大学课程攻略共享计划

tt

a Pythonic toolkit for working with Boolean expressions

espresso

A web frontend for the Espresso logic minimization program

NGSA-II

快速非支配排序的多目标遗传算法

74xx-verilog

Verilog models of 74xx chips

lu-raft-kv

this is raft java project. raft-kv-storage

raft-kv

分布式kv存储

raft-kv

一个基于raft算法实现的分布式K-V存储系统

BlobGenius

A simple distributed file system using blob storage in mysql or fs

training-plan

电子科技大学分布式存储与计算实验室新生训练计划

dagre

Directed graph layout for JavaScript

Java-learning

Java相关知识总结，包括Java基础、MySQL、Springboot、mybatis、Redis、rabbitMQ等等，面试必备！

seckill

SSM实战项目——Java高并发秒杀API，详细流程+学习笔记

down-bit

一个 Java 实现的，多线程，断点续传下载器

guide-rpc-framework

A custom RPC framework implemented by Netty+Kyro+Zookeeper.（一款基于 Netty+Kyro+Zookeeper 实现的自定义 RPC 框架-附详细实现过程和相关教程。）

Digiblock

vue-markdown

一款使用marked和highlight.js开发的一款markdown编辑器