Stars
Browse starred repositories and topics
Sort: Recently active
Starred Repositories
-
Empowering everyone to build reliable and efficient software.
-
Build cross-platform desktop apps with JavaScript, HTML, and CSS
-
Lean 4 programming language and theorem prover
-
The Ruby Programming Language
-
A platform for community discussion. Free, open, simple.
-
The Ethereum Improvement Proposal repository
-
Go implementation of the Ethereum protocol
-
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
-
JavaScript 3D Library.
-
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Starred Topics
-
#
obsidian-theme
Last starredMay 6, 2024 -
#
obsidian-plugin
Last starredMay 4, 2024 -
#
formal-methods
Last starredMay 2, 2024 -
#
formal-verification
Last starredMay 2, 2024 -
#
Static code analysis
Static program analysis is the analysis a program without executing it.
Last starredMay 1, 2024 -
#
symbolic-execution
Last starredApr 29, 2024 -
#
static-analysis
Last starredApr 26, 2024 -
#
model-checking
Last starredMar 19, 2024 -
#
theorem-prover
Last starredMar 15, 2024 -
#
theorem-proving
Last starredNov 29, 2023