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 9 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 9 years ago
- Vector graphic servers☆20Updated this week
- Stackless Joy☆24Mar 31, 2026Updated 6 months ago
- Lightweight and friendly .NET library for realizing modern Semantic Web applications (OWL2, SWRL, SKOS)☆17Sep 26, 2026Updated 3 weeks 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.
- An exploration of a new lisp dialect and the use of it to build an OS on the Beaglebone black.☆10Nov 24, 2015Updated 10 years ago
- 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
- SensePost's modified hostapd for wifi attacks.☆14Oct 11, 2020Updated 6 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Dec 21, 2018Updated 7 years ago
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- Network graphs with nodes and edges written in Elm.☆11May 30, 2017Updated 9 years ago
- KVerus: Scalable and Resilient Formal Verification for Rust Code☆27Oct 11, 2026Updated last week
- radiotap parser C library☆13Jul 24, 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.
- The Mechanization of Standard ML☆75Jul 18, 2022Updated 4 years ago
- A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust☆16Dec 7, 2015Updated 10 years ago
- A chrome extension to highlight trans erasure☆12Feb 14, 2025Updated last year
- ☆17Jan 12, 2018Updated 8 years ago
- ☆53Oct 4, 2025Updated last year
- A Haskell implementation of the tiger compiler☆10May 2, 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
- A ported version of the libairspy library to use with Android 3.1+☆18Nov 13, 2015Updated 10 years ago
- MLton with Realtime GC and Threading features☆100Mar 7, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Server for the Mozilla Telemetry project☆41Oct 1, 2018Updated 8 years ago
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 7 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☆14Mar 19, 2020Updated 6 years ago
- LPEG-based Lua macros☆14Apr 19, 2011Updated 15 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
- Poetic Edda in Old Norse with English translation by H. A. Bellows☆13Feb 12, 2015Updated 11 years ago
- A collection of various awesome lists for hackers, pentesters and security researchers☆12Feb 20, 2018Updated 8 years ago
- Leader key for Awesome WM☆17Feb 8, 2021Updated 5 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.
- Charity Programming Language☆41Apr 14, 2015Updated 11 years ago
- Analysis of your architecture strength based on DSM data.☆12Oct 9, 2026Updated last week
- Track your journey☆17Apr 3, 2015Updated 11 years ago
- Navigation tool for Android☆21Apr 13, 2025Updated last year
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆46May 4, 2026Updated 5 months ago
- Python to Rust compiler☆14Aug 28, 2022Updated 4 years ago