Skip to content
View ycunxi's full-sized avatar

Highlights

  • Pro

Block or report ycunxi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Python bindings for the egg-smol rust library

JavaScript 68 12 Updated Feb 28, 2025

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

Jupyter Notebook 434 40 Updated Feb 22, 2025

Recent research papers about Foundation Models for Combinatorial Optimization

226 16 Updated Feb 26, 2025

MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems

Python 80 12 Updated Jul 24, 2024

Paper Reproduction Google SCoRE(Training Language Models to Self-Correct via Reinforcement Learning)

Jupyter Notebook 137 22 Updated Sep 21, 2024

Adaptation of ACM badges for ML EDA Research

TeX 1 Updated Aug 14, 2024

MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu IEEE/ACM International Conference On Computer Aided Des…

Python 17 2 Updated Sep 26, 2024

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)

C 27 4 Updated Jul 17, 2024

Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.

Python 19 1 Updated Oct 31, 2024

Yosys Open SYnthesis Suite

C++ 3,670 914 Updated Mar 2, 2025

ALICE (Automated Learning and Intelligence for Causation and Economics) is a Microsoft Research project aimed at applying Artificial Intelligence concepts to economic decision making. One of its go…

Jupyter Notebook 3,988 736 Updated Feb 24, 2025

oneAPI Specification source files

Python 196 113 Updated Feb 28, 2025

OpenLane is an automated RTL to GDSII flow based on several components including OpenROAD, Yosys, Magic, Netgen and custom methodology scripts for design exploration and optimization.

Python 1,433 386 Updated Feb 26, 2025

Allo: A Programming Model for Composable Accelerator Design

Python 197 34 Updated Mar 1, 2025

Collection of notebook guides created by the Brev.dev team!

Jupyter Notebook 1,724 303 Updated Dec 18, 2024

Inference code for Llama models

Python 57,771 9,715 Updated Jan 26, 2025

TinyEngine is a low-code engine based on which you can build or develop low-code platforms in different domains/TinyEngine是一个低代码引擎,基于这个引擎可以构建或者开发出不同领域的低代码平台

Vue 2,267 355 Updated Mar 3, 2025

悟空无代码平台正式开源,通过悟空无代码平台开发工具,企业可自主地快速开发出适合企业需要的信息化系统,开发过程只需要业务人员参与,开发效率极高,维护性很强。

Java 1,363 118 Updated Apr 9, 2024

悟空HRM人力资源管理系统-提供入职管理、招聘管理、绩效考核管理等一站式人力管理流程

Java 3,060 390 Updated Nov 6, 2023

悟空CRM-基于Spring Cloud Alibaba微服务架构 +vue ElementUI的前后端分离CRM系统

Java 4,825 733 Updated Aug 27, 2021

悟空财务管理系统(悟空FS) 实现凭证管理、账簿管理、资产负债表、现金流量表、利润表等管理。开启数智财务新时代。

Vue 1,109 89 Updated Nov 6, 2023
Jupyter Notebook 13 2 Updated Apr 15, 2024
Jupyter Notebook 32 10 Updated Sep 4, 2024

egraphs + datalog!

Rust 498 57 Updated Feb 11, 2025

GPU-based logic synthesis tool

C++ 81 7 Updated Jul 16, 2024

AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP (Full Paper accepted to ICCAD2023)!

C++ 22 3 Updated Sep 29, 2024

High performance & Simplicity 🧲 Vue 3 Hooks library

TypeScript 1,709 110 Updated Mar 2, 2025

Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)

C 49 6 Updated Jan 8, 2025

Problems and Results of IWLS 2023 Programming Contest

16 Updated Jul 10, 2023

SeaTunnel is a next-generation super high-performance, distributed, massive data integration tool.

Java 8,321 1,914 Updated Mar 3, 2025
Next
Showing results