Grain of Salt equation generator
☆19May 6, 2022Updated 4 years ago
Alternatives and similar repositories for grainofsalt
Users that are interested in grainofsalt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- ☆13Dec 31, 2024Updated last year
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 years ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆17May 23, 2023Updated 3 years ago
- Challenging SAT benchmarks for matrix multiplication☆13Oct 28, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An easy-to-use, general and open-source tool to solve the guess-and-determine problem☆35Apr 13, 2026Updated 5 months ago
- A small project that uses Discrete Denoising Diffusion Probabilistic Models (D3PMs), a generative model for discrete data that builds upo…☆18Aug 10, 2024Updated 2 years ago
- Universal Radio Hacker: investigate wireless protocols like a boss 📡😎☆11Dec 5, 2019Updated 6 years ago
- GIAnT, the Generic Implementation ANalysis Toolkit☆12Jul 4, 2018Updated 8 years ago
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated last year
- ☆18Sep 4, 2021Updated 5 years ago
- 1st phase of mifare classic nested auth key recovery☆17Dec 19, 2019Updated 6 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 years ago
- Submission to PACE 17☆23Jan 9, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- HAL (hardware abstraction layer) components for Espressif chips☆16Dec 3, 2024Updated last year
- ☆23Dec 7, 2023Updated 2 years ago
- First edition of the annual beginner CTF by havce.☆13Dec 18, 2022Updated 3 years ago
- Implements Coron's simplification of Coppersmith's algorithm☆10May 28, 2017Updated 9 years ago
- FlipperZero GPIO Pin KiCAD Library - Symbol & Footprint☆11Feb 26, 2023Updated 3 years ago
- ☆22May 25, 2017Updated 9 years ago
- An advanced SAT solver☆941Sep 13, 2026Updated last week
- This is NotaMUD, which might be a MUD one day, but currently is not. And it may never be. But it thinks it might be. It runs in Node and…☆11Apr 18, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/des-linear-and-differential-cryptoanalysis☆10Nov 15, 2015Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago
- Source code for the paper: Accelerating Dynamic Graph Analytics on GPUs☆30Jun 19, 2023Updated 3 years ago
- AyedFuzzer is a small File-Format-Fuzzer with 3 options (File-mutating, WinDbg-interactive monitor, multi-processing) for windows executa…☆17Dec 2, 2024Updated last year
- ☆12Mar 10, 2020Updated 6 years ago
- Blog related files.☆14Jan 8, 2026Updated 8 months ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆88Updated this week
- QQ一笔画红包解法☆10Apr 19, 2023Updated 3 years ago
- A floppy disk styled flash storage device for the EMF Camp Tildagon☆12Jun 30, 2026Updated 2 months ago
- This project is transfered to github.com/pgf-tikz/pgf-umlsd☆28Jun 28, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Berlekamp-Massey algorithm☆12Jul 11, 2012Updated 14 years ago
- CTF challs and writeups from CNSS.☆19Feb 15, 2020Updated 6 years ago
- Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General☆17Jan 13, 2023Updated 3 years ago
- The ChameleonMini is a versatile contactless smartcard emulator compliant to NFC. To support our project, buy it here: https://shop.kaspe…☆14Apr 15, 2019Updated 7 years ago
- Git mirror of Victor Shoup's NTL library☆14Mar 8, 2016Updated 10 years ago
- Implementation of a toolkit for ring-LWE based cryptography in arbitrary cyclotomic number fields.☆37Mar 3, 2016Updated 10 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆41May 14, 2024Updated 2 years ago