aaronjeline
Automated Reasoning @ AWS. Working on the Cedar language. Lover of computer history.
AWSBaltimore
Pinned Repositories
adi
Abstracting Definition Interpreters implementation
Arduino-Uno-Keyboard
Allow an arduino unu S3 to spoof a USB keyboard, and send keys in rapidly
checked-c-emacs
Emacs utilities for working w/ checked-c
containers
Simple container engine in Rust
HLML
Expiremental Markup Language
minicaml
Implementation of the mini-caml paper in haskell
racket-sierpinski
Sierpinski Triangle Generator written in racket
testing
bilbobaggins
unixtools
For fun reimplemntation of unix utilities
aaronjeline's Repositories
aaronjeline/adi
Abstracting Definition Interpreters implementation
aaronjeline/containers
Simple container engine in Rust
aaronjeline/minicaml
Implementation of the mini-caml paper in haskell
aaronjeline/outlaw-pledge-analysis
aaronjeline/aaronjeline.github.io
A blog for me
aaronjeline/Abstracting-Definitional-Interps-Haskell
aaronjeline/aoc2022
aaronjeline/cc-muse-demo
aaronjeline/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.
aaronjeline/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.
aaronjeline/checkedc-parson
This is modified version of parson that uses the Checked C extension to C. Parson is a lightweight json parsing library.
aaronjeline/checkedc-vsftpd
aaronjeline/coreutils
Cross-platform Rust rewrite of the GNU coreutils
aaronjeline/csat
A simple Sat solver
aaronjeline/dotfiles
aaronjeline/dsu-lib-demo
aaronjeline/dsu-shim-demo
aaronjeline/haskell-aam
Abstacting Abstract Machiens in Haskell
aaronjeline/InfoFlow
Formal Model of an information flow secure language
aaronjeline/LanguageClient-neovim
Language Server Protocol (LSP) support for vim and neovim. Fork that supports Apple Silicon
aaronjeline/notify.sh
Mac Os bash script for sending notifications
aaronjeline/RDNS
aaronjeline/rust-lambda
Lambda Calculus in the rust type system
aaronjeline/SimpleLisp
SimpleLisp in Rust
aaronjeline/SimplePlanner
Really simple planner
aaronjeline/sql-optmizer
aaronjeline/surrealdb
A scalable, distributed, collaborative, document-graph database, for the realtime web
aaronjeline/syscall.rs
Raw system calls for Rust
aaronjeline/systemf
SystemF Implementation in Racket/Redex
aaronjeline/tictactoesystem