🎯
Focusing
Institute of Computing Technology, Chinese Academy of Sciences.
interested in Compiler
Lists (10)
Sort Name ascending (A-Z)
Stars
- All languages
- Boogie
- C
- C#
- C++
- CMake
- CSS
- CodeQL
- Coq
- Cuda
- Dockerfile
- Go
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- MDX
- MLIR
- Makefile
- Markdown
- Nushell
- OCaml
- PHP
- Perl
- Prolog
- Python
- Racket
- ReScript
- Rich Text Format
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Shell
- Solidity
- Standard ML
- Starlark
- SystemVerilog
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Zig
8
results
for forked starred repositories
Clear filter
Aas-ee / open-webSearch
Forked from pskill9/web-searchWebSearchMCP using free multi-engine search (NO API KEYS REQUIRED) — Supports Bing, Baidu, DuckDuckGo, Brave, Exa, Github, Juejin and CSDN.
gen-cli / gen-cli
Forked from google-gemini/gemini-cliAgents of C.L.I.
plctlab / weloveinterns
Forked from lazyparser/weloveinternsPLCT实验室实习生社区。
JoshuaLandgraf / cascade
Forked from eschkufz/cascadeA Just-In-Time Compiler for Verilog from VMware Research
cpp-pm / hunter
Forked from ruslo/hunterCMake driven cross-platform package manager for C/C++.
xupgit / High-Level-Synthesis-Flow-on-Zynq-using-Vivado-HLS
Forked from louisliuwei/High-Level-Synthesis-Flow-on-Zynq-using-Vivado-HLSThis course provides professors with an understanding of high-level synthesis design methodologies necessary to develop digital systems using Vivado HLS. Now under 2018.2 version.
ucas疫情防控每日填报助手