🎯
Focusing
Institute of Computing Technology, Chinese Academy of Sciences.
interested in Compiler
Lists (9)
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
12
stars
written in Go
Clear filter
Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.
D2 is a modern diagram scripting language that turns text to diagrams.
Code AI platform with Code Search & Cody
pprof is a tool for visualization and analysis of profiling data
⚡️Curated list of resources for the development and applications of blockchain.
An extensible command line tool or library to format yaml files.
A Counter-Strike 2 Demo Parser for Go (demoinfo)
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)