Lists (25)
algoritmos
16 repositories
Assembly
27 repositories
C/C++
study and things awesome334 repositories
create language
11 repositories
Cuda
21 repositories
Go
108 repositories
goanime_stuffs
19 repositories
Hacking
82 repositories
✨ Inspiration
45 repositories
kernel
6 repositories
linux
2 repositories
machine_learning
15 repositories
macOS
4 repositories
mobile
1 repository
Nim
8 repositories
osdev
1 repository
python
54 repositories
Rust
175 repositories
Self-hosted
11 repositories
Sigint
1 repository
to do
things for study and make in future89 repositories
Web
15 repositories
Wen
windows
2 repositories
zig
32 repositories
Starred repositories
5
results
for source starred repositories
written in OCaml
Clear filter
A static analyzer for Java, C, C++, and Objective-C
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Bolt is a language with in-built data-race freedom!