Discover @samysweb Open Source projects

Samuel Teuber (@samysweb)

samysweb

Stars
25
Global Rank 556,620 (Top 20 %)
Followers 11
Following 13
Registered about 13 years ago
Most used languages

Python
33.3 %

JavaScript
22.2 %

PHP
11.1 %

Jupyter Notebook
11.1 %

C
11.1 %

Julia
11.1 %
Location 🇩🇪 Germany
Country Total Rank 22,796
Country Ranking

Julia
274

Jupyter Notebook
3,342

C
3,633

Python
6,546

PHP
7,471

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

NCubeV

Satisfiability modulo Neural Network Theory

Jupyter Notebook

nnequiv-experiments

Inzidenzia

nnequiv

Fork of nnenum for equivalence checking

php-captcha

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

alphabetic-checker

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

VNNLib.jl

A Julia library for handling VNN Lib Properties