Pinned Repositories
Alpinist-Examples
BookShelf
A website made in order to keep track of the book in my bookshelf.
brainfuck-visualizer
Javascript Brainfuck Interpreter and Visualizer. Built with Backbone.js
OmerSakar.github.io
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:
PEVA-Cheatsheets
RelAgeBotlin
An implementation of the popular RelAgeBot in Kotlin.
RelativeAgeTrackerBot
A Telegrambot for tracking the relative age of person
SupremeReadMe
vercors
The VerCors verification toolset for verifying parallel and concurrent software
OmerSakar's Repositories
OmerSakar/Alpinist-Examples
OmerSakar/BookShelf
A website made in order to keep track of the book in my bookshelf.
OmerSakar/brainfuck-visualizer
Javascript Brainfuck Interpreter and Visualizer. Built with Backbone.js
OmerSakar/OmerSakar.github.io
OmerSakar/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:
OmerSakar/PEVA-Cheatsheets
OmerSakar/RelAgeBotlin
An implementation of the popular RelAgeBot in Kotlin.
OmerSakar/RelativeAgeTrackerBot
A Telegrambot for tracking the relative age of person
OmerSakar/SupremeReadMe
OmerSakar/vercors
The VerCors verification toolset for verifying parallel and concurrent software
OmerSakar/WebScienceLectureNotes
Repository