Starred Topics
Browse starred topics
Sort: Recently starred
-
#
lean4
StarredSep 18, 2023 -
Lean
Lean is a theorem prover and programming language.
StarredSep 18, 2023 -
Haskell
Haskell is a functional programming language with non-strict semantics, and strong static typing.
StarredJul 28, 2023 -
#
plutosdr
StarredJun 3, 2023 -
#
rtl-sdr
StarredApr 27, 2023 -
#
rtl2832u
StarredApr 27, 2023 -
Command-line interface
A CLI, or command-line interface, is a console that helps users issue commands to a program.
StarredOct 1, 2022 -
Java
Java is an object-oriented programming language used mainly for web, desktop, embedded devices and mobile applications.
StarredOct 1, 2022 -
#
Operating system
An operating system is a program that manages a computer's programs and applications.
StarredOct 1, 2022 -
#
Security
Cybersecurity is the protection of computer hardware, software, and data from theft, damage, and malicious intent.
StarredOct 1, 2022 -
#
flyway
StarredSep 1, 2019 -
#
sbt
StarredSep 1, 2019 -
#
cargo
StarredSep 1, 2019 -
Awesome Lists
An awesome list is a list of awesome things curated by the community.
StarredSep 1, 2019 -
Android
Android is an operating system built by Google designed for mobile devices.
StarredSep 1, 2019 -
Git
Git is the most widely used version control system.
StarredJul 20, 2019 -
Linux
Linux is an open source kernel.
StarredJul 20, 2019 -
macOS
macOS is Apple's operating system.
StarredJul 20, 2019 -
MySQL
MySQL is an open source relational database management system.
StarredJul 20, 2019 -
Terminal
The terminal is an interface in which you can type and execute text-based commands.
StarredJul 20, 2019 -
PostgreSQL
PostgreSQL is an open source database system.
StarredJul 20, 2019 -
Amazon Web Services
Amazon Web Services provides on-demand cloud computing platforms on a subscription basis.
StarredJul 20, 2019 -
Scala
Scala is an object-oriented programming language.
StarredJul 20, 2019 -
#
typelevel
StarredMar 5, 2019