Aaron Eline's repositories
csat
A simple Sat solver
aaronjeline.github.io
A blog for me
LanguageClient-neovim
Language Server Protocol (LSP) support for vim and neovim. Fork that supports Apple Silicon
SimplePlanner
Really simple planner
haskell-aam
Abstacting Abstract Machiens in Haskell
rust-lambda
Lambda Calculus in the rust type system
coreutils
Cross-platform Rust rewrite of the GNU coreutils
checkedc-parson
This is modified version of parson that uses the Checked C extension to C. Parson is a lightweight json parsing library.
containers
Simple container engine in Rust
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.
InfoFlow
Formal Model of an information flow secure language
notify.sh
Mac Os bash script for sending notifications
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.
SimpleLisp
SimpleLisp in Rust
syscall.rs
Raw system calls for Rust
systemf
SystemF Implementation in Racket/Redex
mundane
Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).