nlewycky

alive2

Automatic verification of LLVM optimizations

aws-lambda-cpp

C++ implementation of the AWS Lambda runtime

bitflags

A macro to generate structures which behave like bitflags

cargo-deny

❌ Cargo plugin for linting your dependencies 🦀

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.

DefinitelyTyped

The repository for high quality TypeScript type definitions.

drawphone

Draw what you see, and guess what your friends drew

egg

egg is a flexible, high-performance e-graph library

hawc

Health assessment workspace collaborative

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

llvm-gvn-phi-matrics

Chapuni's branch based on http://llvm.org/git/llvm.git

models

Models and examples built with TensorFlow

public-notes

A collection of (public) notes on assorted topics

qrack

Comprehensive, GPU accelerated framework for developing universal virtual quantum processors

safety-dance

Auditing crates for unsafe code which can be safely replaced

sail

Sail architecture definition language

snakeout

Out the snake, or be outed as a snake

spectre

Spectre.css - A Lightweight, Responsive and Modern CSS Framework

startup-os

Working examples of Google's Open Source tools and Cloud

stoke

STOKE: A stochastic superoptimizer and program synthesizer

tensorflow

An Open Source Machine Learning Framework for Everyone

toxcalc

wabt

The WebAssembly Binary Toolkit

wabt-rs

WABT bindings for Rust

wasi-libc

WASI libc implementation for WebAssembly

wasm-c-api

Wasm C API prototype

wasmparser.rs

A simple event-driven library for parsing WebAssembly binary files

x64asm

x86-64 assembler library