jsinglet/VerilyIdeaPlugin
Plugin for IdeaIntelliJ 12+ that supports Verily
Developer Profile
jsinglet
Discovered public repositories for jsinglet in the GitHub catalog.
jsinglet/latex-preview-pane
Makes LaTeX editing less painful by providing a updatable preview pane
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/Verily
Verily is a web framework for creating continuously verified applications
jsinglet/linux
Linux kernel source tree
jsinglet/checklt
Taint Checking for Mere Mortals
jsinglet/pages-test
Public repository.
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/yasnippet-java-mode
Java snippets for yasnippet
jsinglet/dparse
Parser in Haskell that can taxonomize products via Elastic Map Reduce
jsinglet/logstash
logstash - logs/event transport, processing, management, search.
jsinglet/sieve
An implementation of the Sieve abstract data type in Haskell.
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.