🎯
Anti-996
Postdoc in Ultrasound, Centre for Artificial Intelligence and Robotics (CAIR) Hong Kong Institute of Science & Innovation, Chinese Academy of Sciences
-
CAIR-CAS
- Hong Kong, China
- https://scholar.google.com/citations?user=LwZENJ8AAAAJ
Highlights
- All languages
- ANTLR
- ASL
- ActionScript
- AngelScript
- Assembly
- Batchfile
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- CodeQL
- CoffeeScript
- Coq
- Cuda
- Cython
- Dart
- Dockerfile
- F#
- F*
- Go
- Groff
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mojo
- NASL
- OCaml
- Objective-C
- OpenEdge ABL
- PHP
- PLSQL
- PLpgSQL
- Perl
- PostScript
- PowerShell
- Prolog
- Protocol Buffer
- Python
- QML
- R
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SWIG
- Scala
- Shell
- Smalltalk
- Solidity
- Svelte
- Swift
- SystemVerilog
- TSQL
- TeX
- TypeScript
- TypeSpec
- Typst
- V
- VHDL
- Verilog
- Vim Script
- Visual Basic .NET
- Vue
- XSLT
Starred repositories
6
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
Parsing, analyzing, and comparing source code across many languages
Software suite for ranking chess positions and accurately estimating the number of legal chess positions
Histogram of the frequency of the distances between prime.