jsinglet/OpenJML-Release-Test jsinglet/OpenJML-Release-Test

  • Stars
    star
    1
  • Language
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jsinglet/OpenJML-Release-Test
github

jsinglet

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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

ocam

OCaml implementation of the categorical abstract machine
OCaml
1
star
19

smartbase-stm

Ada
1
star