CakeML/cakeml

CakeML: A Verified Implementation of ML

Language: Standard ML - Size: 102 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 911 - Forks: 81

arolle/cakeml-translator-ci

Language: Nix - Size: 8.79 KB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

CakeML/hardware

Verilog development and verification project for HOL4

Language: Standard ML - Size: 4.74 MB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 22 - Forks: 5

microsoft/OCP-ISV-Power-BI-Hands-on-Lab 📦

Size: 9.62 MB - Last synced: about 2 months ago - Pushed: about 4 years ago - Stars: 8 - Forks: 15

isabelle-utp/utp-main

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

Language: Isabelle - Size: 155 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 34 - Forks: 9

data61/PSL

Language: Isabelle - Size: 172 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 58 - Forks: 9

gilith/opentheory

The opentheory tool processes higher order logic theory packages

Language: Standard ML - Size: 53.7 MB - Last synced: 7 months ago - Pushed: about 1 year ago - Stars: 14 - Forks: 3

rohitdureja/isabelle-practice

Exercises from the Prog-Prove manual of Isabelle

Language: Isabelle - Size: 22.5 KB - Last synced: 2 months ago - Pushed: about 6 years ago - Stars: 7 - Forks: 2

nunchaku-inria/nunchaku

Model finder for higher-order logic

Language: OCaml - Size: 3.98 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 41 - Forks: 3

lukaszcz/COQ-IMP

Coq version of (part of) the HOL-IMP theories accompanying the book "Concrete Semantics with Isabelle/HOL". Formalized using a now outdated version of CoqHammer.

Language: Coq - Size: 68.4 KB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 6 - Forks: 1

c-cube/trustee

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

Language: OCaml - Size: 3.45 MB - Last synced: 26 days ago - Pushed: 4 months ago - Stars: 11 - Forks: 2

logicalhacking/Featherweight_OCL

Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).

Language: Isabelle - Size: 446 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0

microsoft/OCP-ISV-Azure-Container-Service-Hands-on-Lab 📦

Size: 3.17 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 5 - Forks: 9

AzureCAT-GSI/DevCamp 📦

Contains content for the Azure DevCamp

Language: C# - Size: 366 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 4 - Forks: 0

microsoft/OCP-ISV-Machine-Learning-Hands-on-Lab 📦

Size: 194 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 9 - Forks: 9

microsoft/OCP-ISV-Internet-of-Things-Hands-on-Lab 📦

Language: Shell - Size: 3.35 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 3 - Forks: 8

microsoft/OCP-ISV-Innovation-Day-Introduction 📦

Size: 92.6 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 3 - Forks: 7

microsoft/OCP-ISV-Cognitive-Services-Hands-on-Lab 📦

Language: JavaScript - Size: 23 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 4 - Forks: 8

microsoft/OCP-ISV-Innovation-Day Fork of esmsdn/Innovation-Day 📦

ISVs Innovation Day decks and Hands-on-Labs instructions

Size: 343 MB - Last synced: about 2 months ago - Pushed: about 5 years ago - Stars: 4 - Forks: 7

OSSCanada/microhackfest

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

Language: Shell - Size: 43 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 12 - Forks: 12

gilith/hol

A purely functional higher order logic kernel

Language: Haskell - Size: 118 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 11 - Forks: 1

maggesi/hol-light-docker

Scripts for deploying HOL Light with Docker (and optional checkpointing)

Language: Dockerfile - Size: 12.7 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 2

spaghetti-n5/know-your-legend

House Of Legends fansite

Language: JavaScript - Size: 16.3 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 1

jaycech3n/Pure_Logic

Isabelle's Pure logic, directly extended to FOL/HOL

Language: Isabelle - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

rfcm83/Modern-Cloud-Apps

Hands-on lab Modern Cloud Apps

Language: JavaScript - Size: 73.7 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

amaldevv/DevDays2017

ASP.NET Core Basics - Hands On Lab Exercises

Language: C# - Size: 540 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 2 - Forks: 1

lxndrcx/proofTheoryHOL

Equivalence of natural deduction and sequent calculus in HOL4

Language: Standard ML - Size: 608 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0