![scala logo](https://raw.githubusercontent.com/github/explore/80688e429a7d4ef2fca1e82350fe8e3517d3494d/topics/scala/scala.png)
🤡
writing bugs into bug detectors
Compiler, Fuzzing, Bug Isolation
-
HKUST
- Hong Kong
-
13:29
(UTC +08:00) - https://haoyang9804.github.io
- in/haoyang-ma-a870b01b6
- @Haoyang9804
Highlights
- Pro
Lists (24)
Sort Name ascending (A-Z)
compilers
2 repositories
DL
1 repository
dl compiler&framework
8 repositories
fuzzing
3 repositories
graphics & its compiler
2 repositories
haskell
1 repository
javascript
1 repository
learn
17 repositories
LLM
3 repositories
LLVM
2 repositories
logic
1 repository
money
1 repository
OCaml
4 repositories
papers
1 repository
play
1 repository
relevant codebase
research
9 repositories
rust
1 repository
self-intro
2 repositories
SMT solver
2 repositories
tool
9 repositories
transpiler
6 repositories
vim
25 repositories
VM
2 repositories
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Cuda
- Dockerfile
- GLSL
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MATLAB
- Mojo
- OCaml
- Objective-C
- Perl
- Prolog
- Python
- Racket
- ReScript
- Rust
- SCSS
- SMT
- SVG
- Scala
- Scheme
- Shell
- Smalltalk
- Swift
- TeX
- TypeScript
- Verilog
- Vim Script
- Vue
- Zig
Starred repositories
1
star
written in Perl
Clear filter
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.