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/clj-jgit
Clojure wrapper around JGit
jsinglet/erljob
An embedded project of mine. I took a small Arm-Based computer and made a sonic garage door opener out of it with Erlang and Matlab.
jsinglet/OpenJDK
jsinglet/VerilyIdeaPlugin
Plugin for IdeaIntelliJ 12+ that supports Verily
jsinglet/algo-slam
A Grails based web application for comparing the performance of algorithms in a competitive setting. Allows users to upload and benchmark programs against their peers!
jsinglet/android-sqlite-asset-helper
An Android helper class to manage database creation and version management using an application's raw asset files
jsinglet/checklt
Taint Checking for Mere Mortals
jsinglet/dparse
Parser in Haskell that can taxonomize products via Elastic Map Reduce
jsinglet/jsinglet.github.io
jsinglet/linux
Linux kernel source tree
jsinglet/logstash
logstash - logs/event transport, processing, management, search.
jsinglet/pages-test
jsinglet/Paradox
Parser and Type Checker for Paradox language
jsinglet/prototype-widgets
Prototype Widgets (PW) is a series of high-quality, purpose-built, and otherwise hyphenated components for the Prototype Javascript library.
jsinglet/s-expressions-in-java-annotations
An example of how to bring s-expressions to Java annotations using Clojure.
jsinglet/sieve
An implementation of the Sieve abstract data type in Haskell.
jsinglet/VerilyBidding
jsinglet/welcome
Welcome editor thats shows on first run
jsinglet/yasnippet-java-mode
Java snippets for yasnippet