Pinned Repositories
akuhlens.github.io
My professional site
akuhlens.github.io.pollen
akuhlens.old_website
The Professional Website of a Computer Scientist
ari
A framework for building Aether.
assembler
A dynamic assembler
b551
assignments from an artificial intelligence course
benchmarks
Collection of benchmarks for gradually-typed languages
gradual-racket
The gradually typed lambda calculus as a racket language.
hyper-coercions
A new representation for coercions based gradual typing
suslife
A collaborative blog about our adventures trying to create a sustainable lifestyle.
akuhlens's Repositories
akuhlens/akuhlens.github.io
My professional site
akuhlens/akuhlens.github.io.pollen
akuhlens/akuhlens.old_website
The Professional Website of a Computer Scientist
akuhlens/hyper-coercions
A new representation for coercions based gradual typing
akuhlens/suslife
A collaborative blog about our adventures trying to create a sustainable lifestyle.
akuhlens/ari
A framework for building Aether.
akuhlens/benchmarks
Collection of benchmarks for gradually-typed languages
akuhlens/bs-interp
A minimal interpreter for bootstrapping a list implementation.
akuhlens/computer-structures
A study on describing hardware
akuhlens/cv
A curated history of my professional experiance
akuhlens/ddict
akuhlens/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
akuhlens/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
akuhlens/Grift
A compiler for the gradually typed lambda calculus
akuhlens/gtp-plot
Gradual typing performance plots
akuhlens/Idris-dev
A Dependently Typed Functional Programming Language
akuhlens/Idris2
A dependently typed programming language, a successor to Idris
akuhlens/kaleidoscope
My implementation of the kaleidoscope language in haskell
akuhlens/lean-tutorial
My adventures working through the lean tutorial
akuhlens/lemur
A study on formalizing imperative programming languages.
akuhlens/ocaml-tree-sitter-semgrep
Generate parsers from tree-sitter grammars extended to support Semgrep patterns
akuhlens/scf
akuhlens/seperation-logic
My endeavors to learn separation logic for the purpose of verified low-level programming.
akuhlens/sham
A DSL for runtime code generation in racket
akuhlens/software-foundations
My work-in-progress solution set to software foundations
akuhlens/tr-performance
akuhlens/tree-sitter-rust
Rust grammar for tree-sitter
akuhlens/typed-nanopass
nanopass compiler framework for Racket
akuhlens/typed-racket
Typed Racket
akuhlens/wonks.github.io
PL Wonks website