iangneal
R&D Engineer at Veridise. Computer Science PhD from the University of Michigan.
@Veridise Ann Arbor, MI
Pinned Repositories
agamotto
KLEE Symbolic Execution Engine
hippocrates
Automatically fixing persistency bugs in PM applications. ASPLOS '21.
Cuckoo-hash
C library implementing cuckoo hash
dotfiles
Config files for command line development.
iangneal.github.io
Ian Neal's personal webpage
Mac-Scripts
This is a handful of shell scripts that manage some Mac-specific issues I encounter occasionally.
raft-rs
Raft distributed consensus algorithm implemented in Rust.
Robinhood
Python Framework to make trades with Robinhood Private API
strata
Strata: A Cross Media File System
iangneal's Repositories
iangneal/strata
Strata: A Cross Media File System
iangneal/dotfiles
Config files for command line development.
iangneal/Robinhood
Python Framework to make trades with Robinhood Private API
iangneal/Cuckoo-hash
C library implementing cuckoo hash
iangneal/iangneal.github.io
Ian Neal's personal webpage
iangneal/Mac-Scripts
This is a handful of shell scripts that manage some Mac-specific issues I encounter occasionally.
iangneal/raft-rs
Raft distributed consensus algorithm implemented in Rust.
iangneal/codeforces
My Codeforces problem solutions
iangneal/color-automata
A simple cellular automata simulator with added color evolution.
iangneal/compose
Define and run multi-container applications with Docker
iangneal/crashmonkey
CrashMonkey (HotStorage17)
iangneal/DND-5e-LaTeX-Template
LaTeX package to typeset material for the fifth edition of the "world's greatest roleplaying game".
iangneal/fractals
A repository for various fractal generation programs and such.
iangneal/futil
Intermediate Language (IL) for Hardware Accelerator Generators
iangneal/gdrive-webdav
Webdav bridge for Google Drive
iangneal/klee.github.io
Website for the KLEE project: https://klee.github.io/
iangneal/Lepton-FLiR-Arduino
Arduino Library for the Lepton FLiR Thermal Camera Module.
iangneal/LeptonModule
Code for getting started with the FLIR Lepton breakout board
iangneal/mage
Magic Another Game Engine
iangneal/pmdk
Persistent Memory Development Kit
iangneal/public-docs
Public Document Links
iangneal/py-textbelt
Python Wrapper for Textbelt SMS API.
iangneal/sqlite-tests
Trying to learn how to use the SQLite C API
iangneal/sshfs
File system based on the SSH File Transfer Protocol
iangneal/textbelt
Free outgoing SMS API
iangneal/thashmap
Cache-conscious hash array mapped trie