#
acetousk
Follow
Lists (32)
Analytics
32 repositories
Awesome / Resources
65 repositories
c / c++
32 repositories
CI/CD
27 repositories
Cloud Backend Services
16 repositories
Cloud Native
23 repositories
Commerce
8 repositories
Communication
29 repositories
Data Management
97 repositories
Databases
39 repositories
Datasets
13 repositories
Document Editing
34 repositories
Editor
19 repositories
ERP / Enterprise Apps
101 repositories
File Storage
14 repositories
Front End Components/Templating
81 repositories
Go / Microservice
37 repositories
Java APIs
77 repositories
Java Apps
45 repositories
javascript / typescript
104 repositories
Machine Learning
56 repositories
media (images, video, documents)
24 repositories
Ontology / Tools
3 repositories
osint
7 repositories
Password Manager
6 repositories
Process
3 repositories
Project Management
17 repositories
Python API / Library / Apps
47 repositories
Random
Webservers, VPNs, Git Servers, Business Process Management, Certificates34 repositories
rust
23 repositories
Security
29 repositories
Website Tests and Auditing
7 repositories
Starred repositories
2
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover