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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The opentheory tool processes higher order logic theory packages☆18Jun 19, 2026Updated last week
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 7 years ago
- A distributed network based on hash codes and lattices.☆14Aug 16, 2016Updated 9 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Artifact for our TOPLAS paper On the Impact of Programming Languages on Code Quality☆14Dec 11, 2019Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The Candle theorem prover (fork of the HOL Light sources)☆22Jun 16, 2026Updated last week
- Code to support the guide to logical induction for software engineers☆11Mar 24, 2025Updated last year
- preview github README's locally☆41Jun 18, 2026Updated last week
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆14Jan 5, 2024Updated 2 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55May 16, 2022Updated 4 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆22Dec 20, 2021Updated 4 years ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- ☆21May 20, 2022Updated 4 years ago
- golang port forward☆27Mar 23, 2016Updated 10 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.
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- Ethers extension for a multicall-based provider to batch calls.☆23Dec 3, 2024Updated last year
- RD is Ruby's POD. RDtool is formatter for RD.☆19Mar 22, 2026Updated 3 months ago
- Decentralised Texas Hold'em Poker for Ethereum☆25May 24, 2023Updated 3 years ago
- A gitit theme based on Bootstrap v3☆20Oct 18, 2016Updated 9 years ago
- OCaml bindings for clang☆24May 1, 2018Updated 8 years ago
- ☆11Jun 11, 2019Updated 7 years ago
- High-level library for executable binary file analysis☆16Feb 13, 2017Updated 9 years ago
- Dream/Sapphire android manifest for Gingerbread☆26Dec 4, 2011Updated 14 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.
- 🗿 オモコロラジオの JSON / 非公式 Podcast フィード☆17Updated this week
- 書籍「作ろう！CPU」のサンプルコード☆11Jan 23, 2021Updated 5 years ago
- A verified compiler for a lazy functional language☆41Jun 19, 2026Updated last week
- ☆14Jun 23, 2017Updated 9 years ago
- Some tools☆10Dec 5, 2017Updated 8 years ago
- This repository is an mbed blinky demo with rust for K64F☆14May 6, 2015Updated 11 years ago
- Emacs lisp helper mode for ReVIEW☆28Mar 11, 2026Updated 3 months ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆51Updated this week
- Packaging of the nix package manager for Debian☆17Nov 1, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 10 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Feb 15, 2020Updated 6 years ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆27May 29, 2026Updated 3 weeks ago
- Poly/ML☆539Jun 15, 2026Updated last week
- Google Calendar Utilities for Emacs☆14Jun 19, 2024Updated 2 years ago
- A Haskell memoization library☆31Jan 11, 2024Updated 2 years ago
- ☆18Feb 20, 2024Updated 2 years ago