aaronjeline

adi

Abstracting Definition Interpreters implementation

containers

Simple container engine in Rust

minicaml

Implementation of the mini-caml paper in haskell

outlaw-pledge-analysis

aaronjeline.github.io

A blog for me

Abstracting-Definitional-Interps-Haskell

aoc2022

cc-muse-demo

checkedc

Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.

checkedc-clang

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.

checkedc-parson

This is modified version of parson that uses the Checked C extension to C. Parson is a lightweight json parsing library.

checkedc-vsftpd

coreutils

Cross-platform Rust rewrite of the GNU coreutils

csat

A simple Sat solver

dotfiles

dsu-lib-demo

dsu-shim-demo

haskell-aam

Abstacting Abstract Machiens in Haskell

InfoFlow

Formal Model of an information flow secure language

LanguageClient-neovim

Language Server Protocol (LSP) support for vim and neovim. Fork that supports Apple Silicon

mundane

Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).

notify.sh

Mac Os bash script for sending notifications

RDNS

rust-lambda

Lambda Calculus in the rust type system

SimpleLisp

SimpleLisp in Rust

SimplePlanner

Really simple planner

sql-optmizer

syscall.rs

Raw system calls for Rust

systemf

SystemF Implementation in Racket/Redex

tictactoesystem