vincentjzimmer Goto Github PK

acpica

The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For detailed project information and downloads, go to https://www.acpica.org. For ACPICA contributor and source code licensing information, go to

arm-trusted-firmware

ARM Trusted Firmware

asyncpi

An implementation of asynchronous π-calculus in Go

blog_os

Writing an OS in Rust

boogie

Boogie

cakeml

CakeML: A Verified Implementation of ML

category-theory

A formalization of category theory in Coq for personal study and practical work

cbmc

C Bounded Model Checker

certificate-transparency

Auditing for TLS certificates.

checkedc

Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extension, test code, and samples.

chrome-ec

Mirror of https://chromium.googlesource.com/chromiumos/platform/ec

cntk

Computational Network Toolkit (CNTK)

compcert

The CompCert C verified compiler

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coreboot

github mirror of coreboot.org's master repository

corrode

C to Rust translator

cppcheck

static analysis of C/C++ code

cvc4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

dafny

Dafny is a verification-aware programming language

dice-star

documents

Miscellaneous documents

edk2

EDK II

edk2-staging

EDK II new feature staging

every-programmer-should-know

A collection of (mostly) technical things every software developer should know

fable

F# to JavaScript Compiler

formalsystems

A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"

frama-c

A mirror of Frama-C Magnesium, obtained from http://frama-c.com/download.html

fsp

Repository of FSP binaries posted by Intel

fstar

An ML-like language with a type system for program verification

functional-programming-jargon

Jargon from the functional programming world in simple terms!