- Orlando, FL
- http://cs.ucf.edu/~jls
-
codeql-bundle Public
Forked from advanced-security/codeql-bundleCLI to build a custom CodeQL bundle
-
latex-preview-pane Public
Makes LaTeX editing less painful by providing a updatable preview pane
-
socket.io Public
Forked from socketio/socket.ioRealtime application framework (Node.JS server)
TypeScript MIT License UpdatedSep 20, 2023 -
vscode-codeql Public
Forked from github/vscode-codeqlAn extension for Visual Studio Code that adds rich language support for CodeQL
-
codeql-coding-standards Public
Forked from github/codeql-coding-standardsThis repository contains CodeQL queries and libraries which support various Coding Standards.
-
vscode-js-profile-visualizer Public
Forked from microsoft/vscode-js-profile-visualizerA custom editor for viewing `.cpuprofile` files in VS Code
-
-
-
hacker-movie-master-list Public
Forked from mr-sherman/hacker-movie-master-listThe master list of hacker movies - the cheesier, the better. Realism not necessary.
1 UpdatedOct 12, 2021 -
codeql Public
Forked from github/codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
-
esp-idf Public
Forked from espressif/esp-idfEspressif IoT Development Framework. Official development framework for ESP32.
-
-
-
bb-runtimes Public
Forked from AdaCore/bb-runtimesSource repository for the GNAT Bare Metal BSPs
-
DefinitelyTyped Public
Forked from DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions.
-
TypeScript Public
Forked from microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
-
LaTeX-Workshop Public
Forked from James-Yu/LaTeX-WorkshopAIO LaTeX extension for VSCode to preview, compile, hint, and more.
-
phosphor Public
Forked from gmu-swe/phosphorPhosphor: Dynamic Taint Tracking for the JVM
-
cam Public
Haskell implementation of the categorical abstract machine
-
-
-
-
strongarm Public
Tool for extracting strongest postconditions from Java programs
-
spekl-package-manager Public
Spekl is a system designed to make the specification authoring lifecycle easier.
-
-
-
Verily Public
Verily is a web framework for creating continuously verified applications
-
-