Pinned Repositories
AttackerSynthesis
🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis
bluster
🌞Version 2 of a strangely popular iOS weather app I made in high school
bostoncc
Website for the Boston Computation Club
isec-sensors-scandal
Tracking the deployment of surveillance tech against Northeastern ISEC students
MVHSlepian
MATLAB tools & data I generate while working with/on Slepian for NASA
NepalOSMHistory
History Analytics Visualization Client for OSM Data in Nepal
OSMHistoryServer
A GeoDjango Server implementation for my NepalOSMHistory client
our-wedding
this is (I shit you not) the website for our wedding
qiime2
Official repository for the QIIME 2 framework.
maxvonhippel's Repositories
maxvonhippel/AttackerSynthesis
🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis
maxvonhippel/isec-sensors-scandal
Tracking the deployment of surveillance tech against Northeastern ISEC students
maxvonhippel/our-wedding
this is (I shit you not) the website for our wedding
maxvonhippel/bostoncc
Website for the Boston Computation Club
maxvonhippel/bryden.pod
maxvonhippel/old-website
Max von Hippel's Landing Page
maxvonhippel/Stellar-Visualizer
Visualization tool for stellar velocity & age data
maxvonhippel/acl2
ACL2 System and Books as Maintained by the Community
maxvonhippel/aixm-5.1
Provides Java XML Bindings for the AIXM 5.1 Schema for use with the FAA SWIM FNS Service.
maxvonhippel/CanOpenJavaLibrary
An interface between canopen and java
maxvonhippel/communication-complexity
Final presentation on Communication Complexity
maxvonhippel/CProgramToSMT
maxvonhippel/dreal3
There is a new version of dReal, available at https://github.com/dreal/dreal4
maxvonhippel/dtmc_attack_synthesis
maxvonhippel/go-back-n-fm
Formal model of Go-Back-N
maxvonhippel/go-libp2p
libp2p implementation in Go
maxvonhippel/gossipsub-hardening
testground plans for evaluating gossipsub under attack scenarios
maxvonhippel/ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
maxvonhippel/llvm-docker
A minimal Docker container built with specific versions of LLVM and Clang
maxvonhippel/localGPT
Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.
maxvonhippel/lotus-bf
Implementation of the Filecoin protocol, written in Go
maxvonhippel/lotus-devnet-modified
Contanerized Lotus devnet using a mocked sectorbuilder
maxvonhippel/map-for-renee
maxvonhippel/maxvonhippel.github.io
maxvonhippel/prose
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
maxvonhippel/PVS
The People's Verification System
maxvonhippel/py-libp2p
The Python implementation of the libp2p networking stack 🐍 [under development]
maxvonhippel/SaverECS
SaverECS : A safety verification tool for verification of embedded control software running in closed-loop with plants, under perturbations and different scheduling scenarios.
maxvonhippel/sophias-cv
maxvonhippel/specs
Technical specifications for the libp2p networking stack