nahiyan/cadical-sha256

Stars
1
Language
C++
License
MIT License
Created about 1 year ago
Updated 3 months ago

nahiyan/cadical-sha256

nahiyan

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

CaDiCaL SAT Solver with SHA-256 cryptanalysis routines.

torrenter

A native macOS GUI-based BitTorrent client.

TextArt

A PHP library for drawing simple ASCII art.

ondesked

A markup language intended to make platform-native GUI development of desktop applications much easier and more efficient.

tensorflow_object_detection_project_generator

A simple python script which downloads, installs, and sets everything up for training an object detector with Tensorflow.

darwin

An open-source, extensible, and modular evolution simulator. It's primarily designed for evolution of entities based on neural networks.

multineat-test

car_registration_plate_general

cryptanalysis

A collection of tools to study the inversion or collision of truncated versions of MD4, MD5, SHA-256 with SAT solving using techniques such as Cube-and-Conquer, programmatic SAT, Dobbertin's Attack, and differential cryptanalysis.

LearnThroughExamples

minesweeper

A minesweeper clone written in C and powered by ncurses.

car_registration_plate_dataset

tribalwars-farming-script

Tribalwars farming script

cov_tracker_server

cgpa-calculator

neurolution

A simulation featuring evolution of neural networks through self-driving cars.

gre-quizzer

An offline web-based GRE vocabulary quiz app, based on 800 English words.

nahiyan.github.io

pagination

A basic pagination

NeuroGen

A 3D self-driving car simulator based on the NEAT algorithm, powered by Unity, and written in C#.

cov_tracker_client

cirrhus

A django-based web app for training and running Neural Networks

onwebed

A visual web template system, designed for creating static web pages.

food-clearance

An e-commerce site intended for companies to have clearance sale of food items which have a short shelf life.

tw

electricity-bill-calculator

Electricity bill calculator, totally based on the browser (offline-usage). Supports only Bangladeshi billing system.

darlang

An experimental functional language that compiles to JVM bytecode.

miden

16-bit MIPS Assembler written in C++

purescript-rosetree

PureScript port of the popular Elm library - https://package.elm-lang.org/packages/zwilias/elm-rosetree/latest.

house-bill-calculator