Pinned Repositories
halo
😇 Wholly Adaptive LLVM Optimizer
atJIT
autotuning C++, just-in-time!
autotune
discover good LLVM passes
ghc-llvm
improvements to llvm to support functional-language compilers, e.g., ghc
llvm-statepoint-utils
Runtime support for LLVM's GC Statepoints
NetNewsWire
RSS reader for macOS and iOS.
sml-language-server
an SML language server that uses SML/NJ's "visible compiler" feature
swift
The Swift Programming Language
yaml-ast
visualize an AST serialized as YAML
manticore
Parallel ML compiler
kavon's Repositories
kavon/reduck
interactive tool for the untyped λ-calculus
kavon/blockparser
Fast, quick and dirty bitcoin blockchain parser
kavon/controller
A remote sensor controller for iOS
kavon/cosis
A password manager
kavon/filesystem
A simple filesystem proof of concept.
kavon/java3d-core
Fork of the javax.media.j3d package
kavon/refinements-popl-16
Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.
kavon/SALSA
(not mine) archive of the SALSA Pool paper + code from SPAA'12