Pinned Repositories
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
nlewycky's Repositories
nlewycky/alive2
Automatic verification of LLVM optimizations
nlewycky/aws-lambda-cpp
C++ implementation of the AWS Lambda runtime
nlewycky/bitflags
A macro to generate structures which behave like bitflags
nlewycky/cargo-deny
❌ Cargo plugin for linting your dependencies 🦀
nlewycky/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.
nlewycky/DefinitelyTyped
The repository for high quality TypeScript type definitions.
nlewycky/drawphone
Draw what you see, and guess what your friends drew
nlewycky/egg
egg is a flexible, high-performance e-graph library
nlewycky/hawc
Health assessment workspace collaborative
nlewycky/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
nlewycky/llvm-gvn-phi-matrics
Chapuni's branch based on http://llvm.org/git/llvm.git
nlewycky/models
Models and examples built with TensorFlow
nlewycky/public-notes
A collection of (public) notes on assorted topics
nlewycky/qrack
Comprehensive, GPU accelerated framework for developing universal virtual quantum processors
nlewycky/safety-dance
Auditing crates for unsafe code which can be safely replaced
nlewycky/sail
Sail architecture definition language
nlewycky/snakeout
Out the snake, or be outed as a snake
nlewycky/spectre
Spectre.css - A Lightweight, Responsive and Modern CSS Framework
nlewycky/startup-os
Working examples of Google's Open Source tools and Cloud
nlewycky/stoke
STOKE: A stochastic superoptimizer and program synthesizer
nlewycky/tensorflow
An Open Source Machine Learning Framework for Everyone
nlewycky/toxcalc
nlewycky/wabt
The WebAssembly Binary Toolkit
nlewycky/wabt-rs
WABT bindings for Rust
nlewycky/wasi-libc
WASI libc implementation for WebAssembly
nlewycky/wasm-c-api
Wasm C API prototype
nlewycky/wasmparser.rs
A simple event-driven library for parsing WebAssembly binary files
nlewycky/x64asm
x86-64 assembler library