#
krp
Follow
Lists (29)
aiml
110 repositories
appsec
12 repositories
audio
audio/dj14 repositories
c
5 repositories
cloud
2 repositories
courses
9 repositories
db
9 repositories
dev-misc
7 repositories
devops
2 repositories
fitness
font
frontend
6 repositories
gamedev
9 repositories
go
14 repositories
hardware
6 repositories
http
2 repositories
javascript
4 repositories
linux
9 repositories
malware
2 repositories
nodejs
1 repository
productivity
1 repository
python
50 repositories
reversing
18 repositories
rust
12 repositories
terminal
5 repositories
utils
4 repositories
vim
20 repositories
windows
2 repositories
zig
6 repositories
Starred repositories
2
stars
written in Java
Clear filter
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Android Project to find FatMax in real time with a Polar H10
