🎯
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
4
results
for sponsorable starred repositories
written in Rust
Clear filter
Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Parseable is an observability datalake built from first principles.