CaDiCaL SAT Solver with SHA-256 cryptanalysis routines.

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…

This repository will contain different algorithm and approaches to finding specific quaternion sequences.

Cube-and-Conquer SAT solver

A minimalistic and high-performance SAT solver

Computed data for the MEPN project

Source code for the quartic formula poster

Ruby on Rails Tutorial sample application

Ruby on Rails Tutorial demo application

The first app for Ruby on Rails Tutorial

My development repo for work on FLINT (Fast Library for Number Theory)

My copy of FLINT -- please use https://github.com/flintlib/flint/ for development