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:
- ☆12Sep 29, 2021Updated 5 years ago
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- ☆14Dec 31, 2024Updated last year
- Challenging SAT benchmarks for matrix multiplication☆13Oct 28, 2021Updated 4 years ago
- ☆10May 25, 2017Updated 9 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.
- 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
- A FreeBSD kernel rootkit.☆15Apr 14, 2020Updated 6 years ago
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆23Jun 16, 2023Updated 3 years ago
- DEPRECATED. See https://github.com/nfcgate/nfcgate.☆19May 12, 2022Updated 4 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
- Sorted A-Prolog with Consistency Restoring rules.☆19Mar 2, 2022Updated 4 years ago
- Submission to PACE 17☆23Jan 9, 2025Updated last year
- ☆23Dec 7, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆24Updated this week
- GPL Number Field Sieve implementation☆35Apr 24, 2011Updated 15 years ago
- First edition of the annual beginner CTF by havce.☆13Dec 18, 2022Updated 3 years ago
- MitM proxy for modifying NFC APDUs on the fly, for use with NFCGate☆21Aug 6, 2015Updated 11 years ago
- Implements Coron's simplification of Coppersmith's algorithm☆10May 28, 2017Updated 9 years ago
- A brute force, heuristics, stadistical and down the hill solution to solve enigma msg by KPA. ( mirror from https://code.haibane.org/cap…☆13Oct 2, 2021Updated 5 years ago
- ☆22May 25, 2017Updated 9 years ago
- An advanced SAT solver☆940Updated this week
- Symbolic Execution Engine in Rust☆22Oct 8, 2023Updated 3 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.
- Automatically exported from code.google.com/p/des-linear-and-differential-cryptoanalysis☆10Nov 15, 2015Updated 10 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
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆88Sep 19, 2026Updated 3 weeks ago
- QQ一笔画红包解法☆10Apr 19, 2023Updated 3 years ago
- A floppy disk styled flash storage device for the EMF Camp Tildagon☆12Jun 30, 2026Updated 3 months ago
- This project is transfered to github.com/pgf-tikz/pgf-umlsd☆28Jun 28, 2021Updated 5 years ago
- The DRAT-trim proof checker☆72Nov 25, 2024Updated last year
- Intel-Process communitation☆10Feb 27, 2017Updated 9 years ago
- Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General☆17Jan 13, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Git mirror of Victor Shoup's NTL library☆14Mar 8, 2016Updated 10 years ago
- A MsgPack serializer for Django.☆17Oct 9, 2024Updated 2 years ago
- d4 Model Counter☆22May 17, 2023Updated 3 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
- OS first assignment, UESTC, 电子科技大学, CS ，计科，操作系统☆11Jun 19, 2017Updated 9 years ago
- To store some CTF crypto scripts.☆17May 27, 2018Updated 8 years ago