maxvonhippel

AttackerSynthesis

🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis

isec-sensors-scandal

Tracking the deployment of surveillance tech against Northeastern ISEC students

bostoncc

Website for the Boston Computation Club

our-wedding

this is (I shit you not) the website for our wedding

bryden.pod

old-website

Max von Hippel's Landing Page

acl2

ACL2 System and Books as Maintained by the Community

aixm-5.1

Provides Java XML Bindings for the AIXM 5.1 Schema for use with the FAA SWIM FNS Service.

CanOpenJavaLibrary

An interface between canopen and java

ChatTTS

A generative speech model for daily dialogue.

communication-complexity

Final presentation on Communication Complexity

CProgramToSMT

dtmc_attack_synthesis

freestyle-astro-template

Deploy Astro.js to freestyle.sh with cloudstate javascript object persistence.

go-back-n-fm

Formal model of Go-Back-N

go-libp2p

libp2p implementation in Go

gossipsub-hardening

testground plans for evaluating gossipsub under attack scenarios

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.

llvm-docker

A minimal Docker container built with specific versions of LLVM and Clang

localGPT

Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.

lotus-bf

Implementation of the Filecoin protocol, written in Go

lotus-devnet-modified

Contanerized Lotus devnet using a mocked sectorbuilder

map-for-renee

maxvonhippel.github.io

mem0

The memory layer for Personalized AI

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.

py-libp2p

The Python implementation of the libp2p networking stack 🐍 [under development]

SaverECS

SaverECS : A safety verification tool for verification of embedded control software running in closed-loop with plants, under perturbations and different scheduling scenarios.

sophias-cv

surfpy

Surfing math library for Python