Pinned Repositories
abc-itmap
abc_criterion
ABC: System for Sequential Logic Synthesis and Formal Verification
agent-q
agent q - oss advanced reasoning and learning for autonomous ai agents
AiMap
arcface-pytorch
awesome-ml4co
detect-SCC
Detecting Strongly Connected Components for Scholarly Data
mata
OpenFPGA
An Open-source FPGA IP Generator
OpenROAD
OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/
jfkey's Repositories
jfkey/detect-SCC
Detecting Strongly Connected Components for Scholarly Data
jfkey/mata
jfkey/abc-itmap
jfkey/abc_criterion
ABC: System for Sequential Logic Synthesis and Formal Verification
jfkey/agent-q
agent q - oss advanced reasoning and learning for autonomous ai agents
jfkey/AiMap
jfkey/arcface-pytorch
jfkey/awesome-ml4co
jfkey/bayesopt
BayesOpt: A toolbox for bayesian optimization, experimental design and stochastic bandits.
jfkey/OpenFPGA
An Open-source FPGA IP Generator
jfkey/OpenROAD
OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/
jfkey/browser-use
Make websites accessible for AI agents
jfkey/Face_Pytorch
face recognition algorithms in pytorch framework, including arcface, cosface, sphereface and so on
jfkey/HEBO
Bayesian optimisation & Reinforcement Learning library developped by Huawei Noah's Ark Lab
jfkey/hebo-itmap
jfkey/IKanalyzer5.5
IKanalyzer5.5 is compatible with neo4j 3.x.x
jfkey/learn2Map
jfkey/learn2Map2
jfkey/leetcode
LeetCode Problems' Solutions
jfkey/movies-java-spring-data-neo4j
Neo4j Movies Example with Spring Data Neo4j
jfkey/T-DFS
HDFS-alike in Go. Written to learn the language and get a job.
jfkey/ToRA
ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting with tools [ICLR'24].
jfkey/vtr-verilog-to-routing
Verilog to Routing -- Open Source CAD Flow for FPGA Research
jfkey/yosys
Yosys Open SYnthesis Suite