Starred Topics
Browse starred topics
-
#
tla
StarredApr 11, 2025 -
#
tlaplus
StarredApr 11, 2025 -
Alloy Analyzer
Alloy is an open source language and analyzer for software modeling.
StarredJan 13, 2023 -
Lua
Lua is a lightweight, embeddable scripting language.
StarredOct 28, 2022 -
#
swebok
StarredOct 15, 2022 -
#
tarantool
StarredJul 15, 2022 -
C
C is a general purpose programming language that first appeared in 1972.
StarredJul 15, 2022 -
OpenBSD
OpenBSD is a FREE, multi-platform 4.4BSD-based UNIX-like operating system.
StarredApr 12, 2021 -
#
openbsd-wip
StarredApr 12, 2021 -
#
packetdrill
StarredNov 28, 2019 -
#
Testing
The act of examining behavior of the software under test to eliminate bugs and ship with more confidence.
StarredJul 11, 2019 -
C++
C++ is a general purpose and object-oriented programming language.
StarredJul 11, 2019