ccadeptic23/klee
KLEE Symbolic Virtual Machine
Public GitHub Catalog
Discovered Sep 29, 2026
ccadeptic23 / navdoc3
Senior Design Repository for navdoc3 Group
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#14221444GitHub System ID
ccadeptic23Organization / User
PublicVisibility
ActiveCatalog Status
More from ccadeptic23
ccadeptic23/Multi-Core-System-Monitor
Multi-Core System Monitor is an applet that displays in realtime the CPU usage for each core/cpu, Memory, Swap, Network usage, and Hard Disk (still in beta) information. It allows you to see at a glance how your system resources are being utilized. The goal for this applet is to display system resources in an elegant non-distracting way.
ccadeptic23/Desktop-Scroller--Cinnamon-
Switch between desktops by scrolling at left and right edges of the screen. A Linux Mint Cinnamon Extension.