martintrojer/docker-base
base config for 'doodling' in a container
Public GitHub Catalog
Discovered Sep 24, 2026
martintrojer / symbolic-execution
Applied Symbolic Execution with KLEE/LLVM
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.
#2747369GitHub System ID
martintrojerOrganization / User
PublicVisibility
ActiveCatalog Status
More from martintrojer
martintrojer/emacs-debian
Debian control files and patches for https://launchpad.net/~martin-trojer/+archive/ubuntu/emacs24-termfix
martintrojer/emacs
Mirror of GNU Emacs
martintrojer/clojure-coreclr
Clojure running on the CoreCLR