HOL Guidebook
☆12Oct 11, 2024Updated last year
Alternatives and similar repositories for hol-guidebook
Users that are interested in hol-guidebook are comparing it to the libraries listed below
Sorting:
- The opentheory tool processes higher order logic theory packages☆16Mar 21, 2023Updated 2 years ago
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 7 years ago
- Import of https://sourceforge.net/projects/champollion☆18Mar 14, 2016Updated 9 years ago
- golang port forward☆27Mar 23, 2016Updated 9 years ago
- ☆24Jun 25, 2025Updated 8 months ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- cross-platform sqlmap GUI aimed to mobile devices☆49Jun 27, 2016Updated 9 years ago
- In this training will be covered about a very basic step for malware analysis. Using several free tools to recognize malware behavior. Si…☆12May 25, 2016Updated 9 years ago
- A php library for working with Table Schema.☆12Jul 28, 2025Updated 6 months ago
- TWRP Source for OnePlus 6T Fajita☆10Nov 1, 2019Updated 6 years ago
- A Python script to delete all comment and submission data from a given Reddit account.☆11Jan 5, 2021Updated 5 years ago
- Automatically exported from code.google.com/p/xml2rfc-xxe☆11Jul 9, 2022Updated 3 years ago
- OrientDB Module for Play! framework☆24Aug 4, 2013Updated 12 years ago
- Python bindings for the Stardog Knowledge Graph platform☆41Oct 30, 2025Updated 3 months ago
- ☆11May 3, 2023Updated 2 years ago
- IPython-contrib is an unofficial organisation that try to regroup project that are made to be used with IPython. Please ask if you want t…☆14Jan 24, 2013Updated 13 years ago
- Command line-based python virtualbox bindings.☆14May 25, 2014Updated 11 years ago
- PostgreSQL and PostGIS adapters forked from IOPro☆14Aug 14, 2024Updated last year
- Backup of old Subversion repo☆11Oct 22, 2019Updated 6 years ago
- Flexible XML to dict Converter☆11Jan 20, 2020Updated 6 years ago
- Yet another Python PostgreSQL database driver☆12Dec 9, 2025Updated 2 months ago
- An experimental lossless data compression program with high compression ratio.☆15Feb 27, 2013Updated 13 years ago
- Fake transform-scrolling with angular-friendly utilities☆66Dec 12, 2013Updated 12 years ago
- Minimal React app demo using @textile/near-storage.☆11Aug 19, 2021Updated 4 years ago
- Language built during the Programming Language Masterclass.☆24Mar 19, 2014Updated 11 years ago
- python ASCIIMathML to Presentation MathML translator☆17Aug 3, 2016Updated 9 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- a sequential tagger for NLP using Maximum Entropy Learning and Hidden Markov Models☆22Jan 18, 2016Updated 10 years ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- ☆10Nov 22, 2021Updated 4 years ago
- Generation and storage of Python wheels for building gcloud-python on Travis.☆13Jan 9, 2018Updated 8 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Aug 22, 2019Updated 6 years ago
- L'application pour bloquer un paquet, snipping, analyser le réseau☆11Dec 23, 2016Updated 9 years ago
- Stack machine simulation☆13Sep 25, 2012Updated 13 years ago
- Yes, really!☆11May 8, 2015Updated 10 years ago
- A distributed network based on hash codes and lattices.☆14Aug 16, 2016Updated 9 years ago
- High-level library for executable binary file analysis☆16Feb 13, 2017Updated 9 years ago
- A Python script that generates a colorful voxel city and writes it to a MagicaVoxel .vox file☆14Aug 18, 2020Updated 5 years ago
- Yet Another Python Game Engine☆11Nov 22, 2015Updated 10 years ago