Andre Kuhlenschmidt's repositories
akuhlens.github.io
My professional site
akuhlens.old_website
The Professional Website of a Computer Scientist
hyper-coercions
A new representation for coercions based gradual typing
benchmarks
Collection of benchmarks for gradually-typed languages
computer-structures
A study on describing hardware
Language:Verilog000
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
BSD-3-Clause000
kaleidoscope
My implementation of the kaleidoscope language in haskell
Language:HaskellBSD-3-Clause000
lean-tutorial
My adventures working through the lean tutorial
ocaml-tree-sitter-semgrep
Generate parsers from tree-sitter grammars extended to support Semgrep patterns
GPL-3.0000
seperation-logic
My endeavors to learn separation logic for the purpose of verified low-level programming.
software-foundations
My work-in-progress solution set to software foundations
tree-sitter-rust
Rust grammar for tree-sitter
MIT000
typed-nanopass
nanopass compiler framework for Racket
Language:RacketMIT000
typed-racket
Typed Racket
wonks.github.io
PL Wonks website
Language:HTML000