Pinned Repositories
codeql-development-toolkit
The CodeQL Development toolkit is a tool for making common CodeQL development workflows easier.
codeql-coding-standards
This repository contains CodeQL queries and libraries which support various Coding Standards.
cam
Haskell implementation of the categorical abstract machine
confluence-command-line
decision-tree-classifier
latex-preview-pane
Makes LaTeX editing less painful by providing a updatable preview pane
multi-tenant-angular
spekl-package-manager
Spekl is a system designed to make the specification authoring lifecycle easier.
Verily
Verily is a web framework for creating continuously verified applications
OpenJML
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
jsinglet's Repositories
jsinglet/latex-preview-pane
Makes LaTeX editing less painful by providing a updatable preview pane
jsinglet/multi-tenant-angular
jsinglet/cam
Haskell implementation of the categorical abstract machine
jsinglet/Verily
Verily is a web framework for creating continuously verified applications
jsinglet/confluence-command-line
jsinglet/spekl-package-manager
Spekl is a system designed to make the specification authoring lifecycle easier.
jsinglet/smartbase
jsinglet/bb-runtimes
Source repository for the GNAT Bare Metal BSPs
jsinglet/codeql
CodeQL: 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
jsinglet/codeql-coding-standards
This repository contains CodeQL queries and libraries which support various Coding Standards.
jsinglet/CPT
jsinglet/decision-tree-classifier
jsinglet/DefinitelyTyped
The repository for high quality TypeScript type definitions.
jsinglet/esp-idf
Espressif IoT Development Framework. Official development framework for ESP32.
jsinglet/hacker-movie-master-list
The master list of hacker movies - the cheesier, the better. Realism not necessary.
jsinglet/LaTeX-Workshop
AIO LaTeX extension for VSCode to preview, compile, hint, and more.
jsinglet/mnist-stroke-data
Stroke-based data for the MNIST dataset.
jsinglet/ocam
OCaml implementation of the categorical abstract machine
jsinglet/one-click-hugo-cms
jsinglet/OpenJML-Release-Test
jsinglet/phosphor
Phosphor: Dynamic Taint Tracking for the JVM
jsinglet/smartbase-stm
jsinglet/spekl-server
jsinglet/strongarm
Tool for extracting strongest postconditions from Java programs
jsinglet/test-a
jsinglet/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
jsinglet/vscode-codeql
An extension for Visual Studio Code that adds rich language support for CodeQL
jsinglet/vscode-js-profile-visualizer
A custom editor for viewing `.cpuprofile` files in VS Code
jsinglet/codeql-bundle
CLI to build a custom CodeQL bundle
jsinglet/socket.io
Realtime application framework (Node.JS server)