Awesome Open Source

Programming Languages

Search results for hol

11 search results found

CakeML: A Verified Implementation of ML

Devcamp ⭐ 101

Contains content for the Azure DevCamp

Nunchaku ⭐ 41

Model finder for higher-order logic

Utp Main ⭐ 30

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

Hardware ⭐ 18

Verilog development and verification project for HOL4

Opentheory ⭐ 14

The opentheory tool processes higher order logic theory packages

Microhackfest ⭐ 13

Hands-on Labs (HOLs) and presentations for Microservices, Serverless and Containers readiness.

A purely functional higher order logic kernel

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

Ocp Isv Machine Learning Hands On Lab ⭐ 7

Related Searches

Hol Ocp Isv (5)

Isabelle Hol (4)

Machine Learning Hol (3)

Standard Ml Hol (3)

C Sharp Hol (3)

Javascript Hol (3)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.