Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
☆11Dec 7, 2012Updated 13 years ago
Alternatives and similar repositories for nsolv
Users that are interested in nsolv are comparing it to the libraries listed below
Sorting:
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- ☆11Mar 8, 2022Updated 3 years ago
- EPWING dictionary viewer☆11Nov 13, 2018Updated 7 years ago
- Some stuff for CTF.☆10Oct 27, 2019Updated 6 years ago
- LeetCode OJ's Binary Tree Visualization in Python☆12Nov 19, 2016Updated 9 years ago
- CFE virtual competition framework☆14Feb 1, 2017Updated 9 years ago
- HUD for tenhou.net riichi mahjong server. Shows tsumogiri and hidden tiles.☆14Jan 20, 2017Updated 9 years ago
- A web site for uploading and sharing solutions for the game TIS-100.☆13Jun 22, 2025Updated 8 months ago
- Gobbling it's way through your pcap files☆24Oct 23, 2014Updated 11 years ago
- Ruby - pwn tools☆11Nov 7, 2015Updated 10 years ago
- exploit dev. stuff☆20Aug 7, 2012Updated 13 years ago
- My presentation on Cyber Grand Challenge and DEFCON 24 CTF at SHLUG monthly meeting☆13Sep 24, 2016Updated 9 years ago
- Some RSA attacks with sage☆11Nov 15, 2016Updated 9 years ago
- Plugin for loglevel which allows disable/enable debug output dynamically☆16Dec 15, 2023Updated 2 years ago
- Automatic Software-based Protection and Integrity Suite☆20Updated this week
- ☆10Aug 27, 2023Updated 2 years ago
- Proof of Work generator☆12Jun 26, 2019Updated 6 years ago
- ☆11May 19, 2017Updated 8 years ago
- keeloq cypher decode need 14hour+☆15Feb 18, 2016Updated 10 years ago
- Full functional idascript with stdin/stdout handled☆20Jan 25, 2017Updated 9 years ago
- Comparison of IO methods for OS X and Linux.☆14Jul 12, 2014Updated 11 years ago
- Sigma Virtual Machine.☆23Jan 3, 2024Updated 2 years ago
- A simple test of fuzzing Java with AFL and GCJ☆16Jan 31, 2018Updated 8 years ago
- Simple OpenGL core profile loading, customized for Dear ImGui☆17Dec 11, 2025Updated 2 months ago
- Portable SIMD specification☆19Apr 24, 2017Updated 8 years ago
- Fuzzing compression libraries☆20Jan 10, 2016Updated 10 years ago
- Improve your Print Debugging☆42Dec 25, 2025Updated 2 months ago
- Watching the Flag☆15Dec 16, 2015Updated 10 years ago
- Exact 64-bit convolution algorithm☆15Jun 7, 2016Updated 9 years ago
- Command line application that allows to quickly start an ftp server without worrying about configuration. This makes it a handy tool to t…☆23Jul 19, 2017Updated 8 years ago
- DEAD - An archive of my solutions. I'm no longer sure it's wise to publish everything, so I won't be updating this.☆14Oct 1, 2016Updated 9 years ago
- Zig Language example on interfacing with C++ code☆18Jan 31, 2026Updated last month
- RuCTF 2016 repository☆16Nov 16, 2019Updated 6 years ago
- Fork/mirror of Darcs repo for PyFlag (Forensic and Log Analysis GUI)☆36Oct 16, 2010Updated 15 years ago
- ShiftCrops pwn tool☆15Dec 11, 2016Updated 9 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆22Jul 5, 2023Updated 2 years ago
- A tale of ancient KTH history☆24Jun 5, 2017Updated 8 years ago
- A portable source-level debugger for postscript programs.☆20Aug 28, 2020Updated 5 years ago
- Talos: Encrypted Query Processing for the Internet of Things (Source code of our paper at ACM SenSys 2015)☆14Aug 1, 2016Updated 9 years ago