The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.
☆11Oct 24, 2016Updated 10 years ago
Alternatives and similar repositories for HOL88
Users that are interested in HOL88 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 8 years ago
- The original Edinburgh LCF.☆34Oct 21, 2016Updated 10 years ago
- Vector graphic servers☆20Oct 15, 2026Updated 3 weeks ago
- Stackless Joy☆24Mar 31, 2026Updated 7 months ago
- Latex version of “Harry Potter and the Methods of Rationality”☆16Apr 23, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- LAStools Plugin for QGIS3 realized with Processing☆12Jun 2, 2026Updated 5 months ago
- Lightweight and friendly .NET library for realizing modern Semantic Web applications (OWL2, SWRL, SKOS)☆16Oct 28, 2026Updated last week
- A linear solver designed to be easy to use with Rust enums.☆35Apr 11, 2021Updated 5 years ago
- Microsoft/InKnowWorks Graph Engine☆16Apr 25, 2025Updated last year
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Dec 21, 2018Updated 7 years ago
- Network graphs with nodes and edges written in Elm.☆11May 30, 2017Updated 9 years ago
- A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust☆16Dec 7, 2015Updated 10 years ago
- Bubo, the owl strategist, here to help you to build a fortune. NyxsOwl is an innovative machine learning framework designed to simplify a…☆10Jul 8, 2025Updated last year
- 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.
- Swank that works with current SLIME☆12Jan 21, 2016Updated 10 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- SensePost's modified hostapd for wifi attacks.☆14Oct 11, 2020Updated 6 years ago
- MLton with Realtime GC and Threading features☆100Mar 7, 2024Updated 2 years ago
- A ported version of the libairspy library to use with Android 3.1+☆18Nov 13, 2015Updated 10 years ago
- Scrum: A Game (Very) Vaguely About Programming, created for the GitHub Game Off 2012 competition. It is primarily written in C, with a hi…☆10Oct 28, 2022Updated 4 years ago
- A chrome extension to highlight trans erasure☆12Feb 14, 2025Updated last year
- A collection of various awesome lists for hackers, pentesters and security researchers☆12Feb 20, 2018Updated 8 years ago
- Barry Jay's (bond-eye) pattern language☆12Mar 16, 2011Updated 15 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- radiotap parser C library☆13Jul 24, 2021Updated 5 years ago
- Python scripts to download and filters daily flight dumps from ADS-B Exchange☆11Aug 25, 2017Updated 9 years ago
- efficient tools for LiDAR processing☆15Mar 19, 2020Updated 6 years ago
- METAR reports are meteorogical weather reports for aviation. Metar is a small program which downloads weather reports for user-specified …☆13Sep 11, 2019Updated 7 years ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- The Mechanization of Standard ML☆75Jul 18, 2022Updated 4 years ago
- Track your journey☆17Apr 3, 2015Updated 11 years ago
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 7 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- Analysis of your architecture strength based on DSM data.☆12Oct 9, 2026Updated 3 weeks ago
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- Actively-maintained sbotools revival. Provides a ports-like interface to slackbuilds.org.☆15Aug 31, 2026Updated 2 months ago
- A Forth implementation for the Papilio☆10Dec 16, 2014Updated 11 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 years ago
- LPEG-based Lua macros☆14Apr 19, 2011Updated 15 years ago