ashr123 Goto Github PK

aes_3-star

בשביל קורס ״אבטחת מחשבים ורשתות תקשורת״

archi1

ashr123-sqe-workshop-2018-exercise-1

ashr123-sqe-workshop-2018-exercise-2

ashr123-sqe-workshop-2018-exercise-3

assignment-elbit

compiler191

compiler201

Compiler written in OCaml that compiles Chez Scheme to x86_64 Assembly

data-strucure-ass2

dice-roller

Pseudo random dice roller

ds4

exceptional-functions

A collection of functions that protect against unchecked Exceptions

fsen191e2

gdb-dashboard

Modular visual interface for GDB in Python

gitftp

Browse git over anonymous FTP

github-actions-for-packages

githubgraduation-2022

Join the GitHub Graduation Yearbook and "walk the stage" on June 11.

hash-verifier

hasidicfobia

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

hw1-jpf

Homework 1 for FVM class: exploring NASA's JPF.

intro-to-computer-science-ass-5

intvm201-assignment-2

Base code for homework in Introduction to Formal Methods class.

ise172_project

java-exp

java-tail-recursion

jcypher

Java access to Neo4J graph databases at multiple levels of abstraction

jetbrains-settings

jfields

JTextField that accepts only double as you type it

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.