samysweb Goto Github PK

aaai24-fairness

Artefact for the AAAI24 paper "An Information-Flow Perspective on Algorithmic Fairness"

ablector

Abstracted Boolector

alphabetic-checker

This java script checks if there are capital letters or numbers in a string

autonomous-zeppelin

Turning autonomous Zeppelins safe one proof at a time

ba

My bachelor thesis

ba-experiments

Experiments for my bachelor thesis samysweb/BA

boolector

Minor modifications to the Boolector SMT solver for my bachelor thesis (samysweb/BA). Note that this is a forked repository from Boolector/boolector!

countersharp

Quantification of software properties through Model Counting: We use CBMC to transform C-code into SAT instances and then run approximate model counting on those instances

countersharp-experiments

Experiments for the counterSharp tool

cvmfs

The CernVM File System

cvmfs_shrinkwrap-bench0818

Benchmarking results for the cvmfs_shrinkwrap utility. (Based on cvmfs fork at samysweb/cvmfs)

dnnv

A Framework for Deep Neural Network Verification

doc-cvmfs

CernVM-FS Documentation

inzidenzia

Firefox Addon

key

KeY Theorem Prover for Deductive Java Verification

keymaerax-hotkeys

keymaerax-projects

Projects, models, and proofs in KeYmaera X

mimasimu

A Simulator for the minimal machine, teached at the kit in karlsruhe, with a graphical ui.

ncubev

Satisfiability modulo Neural Network Theory

nnenum

Neural Network Enumeration Tool

nnequiv

Fork of nnenum for equivalence checking

nnequiv-experiments

nnequivalence

Tool to encode NNs as MILP and check them for equivalence

nnet

Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks in this format can be found in the Reluplex repository.

open-mpi-docker

A small open-mpi container

overt.jl

Relational piecewise-linear overapproximations of multi-dimensional functions

php-captcha

This is a php code snippet for creating a simple captcha on a website

pycparser

:snake: Complete C99 parser in pure Python

symengine.jl

Julia wrappers of SymEngine

testrepo

this is just a little test