akuhlens Goto Github PK

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

bs-interp

A minimal interpreter for bootstrapping a list implementation.

c

Practice using C

computer-structures

A study on describing hardware

cv

A curated history of my professional experiance

datatype

(Somewhat) Algebraic Data Types for Racket

ddict

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

example-ocaml-merlin

An example of a simple project in OCaml that uses Merlin

flow

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

gradual-racket

The gradually typed lambda calculus as a racket language.

grift

A compiler for the gradually typed lambda calculus

gtp-plot

Gradual typing performance plots

hyper-coercions

A new representation for coercions based gradual typing

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.

metaprogramming

A couple of class projects.

minikanren-with-symbolic-constraints

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

nanopass-framework-racket

Racket port of the nanopass-framework

ocaml-tree-sitter-semgrep

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

phone

a micro controller phone