ZappaBoy/sudoku-cbmc

Stars
3
Rank 3,949,820 (Top 78 %)
Language
C
Created over 3 years ago
Updated over 3 years ago

ZappaBoy/sudoku-cbmc

ZappaBoy

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

Sudoku cbmc solved withous arrays and matrix

dmultiwall

This is a simple bash script to set the multiple wallpapers dynamically based on the current hour.

hlf-hello-world

Hyperledger Fabric hello world

MEANStack

MEANStack: Mongodb - Express - Angular - NodeJS with Docker engine

worky

Define and load project workspace

fabric-mwe

This is a set of MWE (Minimal Working Examples) about Hyperledger Fabric (v2.2).

pullAller

Bash script to pull all git repositories recoursively

python-smtp-gmail-server

hopper-bacco

Hopper-Bacco (Oh perbacco) is a simple utility that forward requests changing IP and User Agent to avoid bans.

SameShitDifferentDay

Init day script

bash-utilities

Collection of utility bash scripts

simple-ctf

express-discord-bot

telegram-flooder

hi-jacket

Hi-Jack - A GPU cryptojacker script

coffee-break

Coffee break notification and preparation

mysql-pma-docker

CustomReservedArea

Wordpress plugin to edit post made with Custom Fields

proverif-labs

fastapi-template

Fastapi template

ReplaceStrInAll

Simple bash script to replace all occurrences of a string in folder name, file name and file content recursively.

dockertest.sh

Dockertest command to quickly test a docker, simply stop and kill old docker version, run and build and run newer image.

export-path

Simple script written in BASH that help to export binaries PATH in a source file (Default: ~/.bashrc)

MEN-backend

domo

Simple tool to manage IoT devices

ProgressMapCustomFilter

Wordpress Plugin used to filter custom post provided by a form and showed to user with Progress Map Plugin

Volcanoes2threejs

This is a simple website that show four vulcans 3D plot created using Qgis2threejs library. 3D visualization powered by WebGL technology and three.js JavaScript library