Zedpaixd/JML-Tutorial Zedpaixd/JML-Tutorial

  • Stars
    star
    2
  • Language
    TeX
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Zedpaixd/JML-Tutorial
github

Zedpaixd

Reviews

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

Repository Details

Given the importance of specification languages and JML being one of them, this is a tutorial to get people started in the field of JML. A LaTeX paper and presentation together with some demos are provided in this repository.

More Repositories

1

Log-in-Implementation

Implemented Registration and Log in with a simulated database featuring free-to-edit encryption and decryption
Python
4
star
2

UWRC-Scoreboard

A scoreboard + control panel which sends live data to the web server via a FTP. Made for the Juniors' Underwater Rugby Championship in Sweden
Python
4
star
3

Storage-manager-via-singly-linked-lists

Storage manager with a console UI done via a simple implementation of singularly linked lists in C
C
4
star
4

Cryptocurrency-price-scrapper

A simple web scrapper to provide real-time price updates of most crypto currencies
Python
4
star
5

Random-Small-Projects

Pretty simple and small programs made in an attempt to learn some fundamentals of certain libraries.
Java
3
star
6

SortingComparison

A simple program that compares the runtime of different sorting algorithms on different, handpicked array types.
C++
3
star
7

OPggScrapper

A quick python web scrapper to provide real-time results of a live game in League Of Legends
Python
3
star
8

Josephus-problem-circular-lists

An implementation of a solution for Josephus' problem using circular lists
C++
3
star
9

Zedpaixd

3
star
10

Small-Game-Hub

Chess, Snake and a Reaction time tester implemented via OLC's Pixel Game Engine
C++
3
star
11

re-to-dfa-and-nfa

Python program that transforms regex to Deterministic Finite Automata and from there into Nondeterministic Finite Automata
Python
3
star
12

Java-Chat-App

A simple Java Chatting App containing both a server and a client featuring a simple JavaFX GUI together with a database storing the accounts and server-sided logs
Java
3
star
13

Krauss-Bot

A fully functional but still in development Discord bot with a handful of features and more to be added!
Python
3
star
14

Discord-CSS-theme

CSS
3
star
15

Santa-Letter-Reader

Santa letter parser done for a university project
Python
3
star
16

Prefix-Polish-Notation-Calculator

A prefix polish notation calculator done via binary trees
C++
3
star
17

Server-Client-Implementation

Since it's a little different on Windows and some may find it annoying, here's an implementation of them in C++ on windows.
C++
2
star
18

bracketchecker

Simple python script to check whether or not a multitude of brackets has been written correctly
Python
2
star
19

Snake

Snake game made in OLC's pixel game engine
C++
2
star
20

Haskell-Stuff

Simple things implemented in HS throughout my process of learning the language
Haskell
2
star
21

LeetCode-Stuff

Python
2
star
22

Linux-Custom-Shell

A custom made shell for Linux featuring all possibilities of the basic terminal and a server / client to access the shell from any different device.
C
2
star
23

Unity-Maths-and-Physics

C#
1
star
24

Comparison-of-Sorting-Algorithms

TeX
1
star