akuhlens

akuhlens.github.io

My professional site

akuhlens.github.io.pollen

akuhlens.old_website

The Professional Website of a Computer Scientist

hyper-coercions

A new representation for coercions based gradual typing

suslife

A collaborative blog about our adventures trying to create a sustainable lifestyle.

ari

A framework for building Aether.

benchmarks

Collection of benchmarks for gradually-typed languages

bs-interp

A minimal interpreter for bootstrapping a list implementation.

computer-structures

A study on describing hardware

cv

A curated history of my professional experiance

ddict

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

Grift

A compiler for the gradually typed lambda calculus

gtp-plot

Gradual typing performance plots

Idris-dev

A Dependently Typed Functional Programming Language

Idris2

A dependently typed programming language, a successor to Idris

kaleidoscope

My implementation of the kaleidoscope language in haskell

lean-tutorial

My adventures working through the lean tutorial

lemur

A study on formalizing imperative programming languages.

ocaml-tree-sitter-semgrep

Generate parsers from tree-sitter grammars extended to support Semgrep patterns

scf

seperation-logic

My endeavors to learn separation logic for the purpose of verified low-level programming.

sham

A DSL for runtime code generation in racket

software-foundations

My work-in-progress solution set to software foundations

tr-performance

tree-sitter-rust

Rust grammar for tree-sitter

typed-nanopass

nanopass compiler framework for Racket

typed-racket

Typed Racket

wonks.github.io

PL Wonks website