John L. Singleton (@jsinglet)
github

jsinglet

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

latex-preview-pane

Makes LaTeX editing less painful by providing a updatable preview pane
Emacs Lisp
129
star
2

multi-tenant-angular

TypeScript
22
star
3

cam

Haskell implementation of the categorical abstract machine
Haskell
9
star
4

Verily

Verily is a web framework for creating continuously verified applications
Java
5
star
5

spekl-package-manager

Spekl is a system designed to make the specification authoring lifecycle easier.
Clojure
3
star
6

confluence-command-line

Python
3
star
7

smartbase

Ada
2
star
8

OpenJDK

Java
1
star
9

strongarm

Tool for extracting strongest postconditions from Java programs
TeX
1
star
10

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.
C
1
star
11

mnist-stroke-data

Stroke-based data for the MNIST dataset.
1
star
12

test-a

1
star
13

decision-tree-classifier

Haskell
1
star
14

CPT

C#
1
star
15

VerilyIdeaPlugin

Plugin for IdeaIntelliJ 12+ that supports Verily
Java
1
star
16

one-click-hugo-cms

CSS
1
star
17

spekl-server

Java
1
star
18

OpenJML-Release-Test

1
star
19

ocam

OCaml implementation of the categorical abstract machine
OCaml
1
star
20

smartbase-stm

Ada
1
star