Aaron Eline's repositories
containers
Simple container engine in Rust
aaronjeline.github.io
A blog for me
Language:C000
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.
Language:CNOASSERTION000
csat
A simple Sat solver
Language:Rust000
Language:Lua000
haskell-aam
Abstacting Abstract Machiens in Haskell
LanguageClient-neovim
Language Server Protocol (LSP) support for vim and neovim. Fork that supports Apple Silicon
Language:RustMIT000
rust-lambda
Lambda Calculus in the rust type system
SimpleLisp
SimpleLisp in Rust
SimplePlanner
Really simple planner
syscall.rs
Raw system calls for Rust
systemf
SystemF Implementation in Racket/Redex
Language:Racket000
Language:Rust000