HOL Guidebook
☆12Oct 11, 2024Updated 2 years ago
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☆20Oct 11, 2026Updated 2 weeks ago
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 8 years ago
- Standard ML (SML) grammar for tree-sitter☆15May 22, 2025Updated last year
- 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
- 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.
- Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.☆15May 5, 2019Updated 7 years ago
- Code to support the guide to logical induction for software engineers☆11Jul 12, 2026Updated 3 months ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆12Jan 5, 2024Updated 2 years ago
- Some general purpose tools devoloped in Virtual Square☆16Jun 11, 2012Updated 14 years ago
- A distributed network based on hash codes and lattices.☆15Aug 16, 2016Updated 10 years ago
- ☆21May 20, 2022Updated 4 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆27Oct 19, 2026Updated last week
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆22Dec 20, 2021Updated 4 years ago
- Tutorial and test projects for the ZPUFlex core.☆11Dec 4, 2021Updated 4 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.
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Jan 15, 2018Updated 8 years ago
- ☆10Jan 11, 2019Updated 7 years ago
- Ethers extension for a multicall-based provider to batch calls.☆23Dec 3, 2024Updated last year
- Pylint checkers to find non-i18n strings in a python file, aimed at Django projects☆21Oct 20, 2017Updated 9 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- Build-script for bare metal ARM toolchain - based on esden:s branch☆11Apr 25, 2018Updated 8 years ago
- A gitit theme based on Bootstrap v3☆20Oct 18, 2016Updated 10 years ago
- golang port forward☆27Mar 23, 2016Updated 10 years ago
- tanakh.jp web site☆12Dec 19, 2016Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An alternate Prelude for promote modern best practices.☆10Mar 6, 2012Updated 14 years ago
- 書籍「作ろう！CPU」のサンプルコード☆11Jan 23, 2021Updated 5 years ago
- L'application pour bloquer un paquet, snipping, analyser le réseau☆11Dec 23, 2016Updated 9 years ago
- Automatic login utility of free Wi-Fi captive portals☆12Feb 8, 2023Updated 3 years ago
- A portable software emulator for the ZPU processor☆10Apr 16, 2012Updated 14 years ago
- Decentralised Texas Hold'em Poker for Ethereum☆26May 24, 2023Updated 3 years ago
- ☆11Jun 11, 2019Updated 7 years ago
- Code Injector Using Code Caves☆15Jul 12, 2015Updated 11 years ago
- おじいちゃん携帯 for Andorid☆12Jan 15, 2014Updated 12 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.
- Lecture notes for teaching Haskell to those who want to read it☆55May 16, 2022Updated 4 years ago
- High-level library for executable binary file analysis☆16Feb 13, 2017Updated 9 years ago
- Language server protocol client module for Textadept.☆37Sep 8, 2026Updated last month
- In this training will be covered about a very basic step for malware analysis. Using several free tools to recognize malware behavior. Si…☆12Aug 17, 2026Updated 2 months ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Feb 15, 2020Updated 6 years ago
- ☆16Mar 25, 2013Updated 13 years ago
- A verified compiler for a lazy functional language☆47Oct 3, 2026Updated 3 weeks ago