Highlights
- Pro
Lists (32)
Abstract/Virtual Machines
1 repository
Ada Ecosystem
2 repositories
Assembly Ecosystem
1 repository
Books
1 repository
C Ecosystem
1 repository
Computer Networking
4 repositories
Confidential Computing
7 repositories
Config Management
1 repository
Cursed Projects
2 repositories
Databases
10 repositories
Formal Development
1 repository
Formal Methods
7 repositories
Fundamental Theories
1 repository
Homomorphic Encryption
1 repository
Kotlin Native
1 repository
Lean Ecosystem
2 repositories
Linux Distro
1 repository
OCaml Ecosystem
5 repositories
Operating Systems
3 repositories
Programming Languages
49 repositories
Resource Guides
4 repositories
Rust Ecosystem
4 repositories
Theorem Prover
1 repository
TUI
user interface libraries for terminal9 repositories
TVLK
all stared traveloka's repositories are hereTypesetter
3 repositories
Unikernels
7 repositories
WASM Ecosystem
9 repositories
Web App Framework
5 repositories
Web Frontend Libs/Frameworks
4 repositories
Web3
9 repositories
Zig Ecosystem
18 repositories
Stars
5
stars
written in HTML
Clear filter
🎓 Path to a free self-taught education in Computer Science!
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
A rugged, minimal framework for composing JavaScript behavior in your markup.
Style your webpage like Edward Tufte’s handouts.
BTFS - The First Scalable Decentralized Storage System - A Foundational Platform for Decentralized Applications