Starred Topics
Browse starred topics
-
#
Parsing
Parsing is the process of analyzing a string of symbols conforming to the rules of a formal grammar.
StarredMay 18, 2021 -
Haskell
Haskell is a functional programming language with non-strict semantics, and strong static typing.
StarredMay 18, 2021 -
#
Compiler
Compilers are software that translate higher-level programming languages to lower-level languages (e.g. machine code).
StarredMay 18, 2021 -
#
Code quality
Automate your code review with style, quality, security, and test‑coverage checks when you need them.
StarredMay 18, 2021 -
Command-line interface
A CLI, or command-line interface, is a console that helps users issue commands to a program.
StarredMay 18, 2021 -
#
teensyduino
StarredJun 19, 2020 -
Rust
Rust is a systems programming language created by Mozilla.
StarredJun 11, 2020 -
Raspberry Pi
The Raspberry Pi is a popular single-board computer.
StarredJun 11, 2020 -
Python
Python is a dynamically typed programming language.
StarredJun 11, 2020 -
Linux
Linux is an open source kernel.
StarredJun 11, 2020 -
LaTeX
LaTeX is a document preparation system.
StarredJun 11, 2020 -
The Julia Language
Julia is a high-level, high-performance dynamic programming language for numerical computing.
StarredJun 11, 2020 -
Git
Git is the most widely used version control system.
StarredJun 11, 2020 -
#
Documentation
Documentation is a set of information that describes a product to its users.
StarredJun 11, 2020 -
Docker
Docker is a platform built for developers to build and run applications.
StarredJun 11, 2020 -
C++
C++ is a general purpose and object-oriented programming language.
StarredJun 11, 2020 -
Bash
Bash is a shell and command language interpreter for the GNU operating system.
StarredJun 11, 2020 -
Arduino
Arduino is an open source platform for building electronic devices.
StarredJun 11, 2020 -
#
Algorithm
Algorithms are self-contained sequences that carry out a variety of tasks.
StarredJun 11, 2020 -
#
3D
3D refers to the use of three-dimensional graphics, modeling, and animation in various industries.
StarredJun 11, 2020