kavon Goto Github PK

atjit

autotuning C++, just-in-time!

autotune

discover good LLVM passes

better-language-sml

Standard ML language support for the working programmer

blockparser

Fast, quick and dirty bitcoin blockchain parser

chezscheme

Chez Scheme

controller

A remote sensor controller for iOS

cosis

A password manager

filesystem

A simple filesystem proof of concept.

ghc

LLVM Backend improvements for GHC.

ghc-llvm

improvements to llvm to support functional-language compilers, e.g., ghc

ghc-tuner

hadrian

Hadrian: a new build system for the Glasgow Haskell Compiler

hugo-academic

The website designer for Hugo. Build and deploy a beautiful website in minutes :rocket:

java3d-core

Fork of the javax.media.j3d package

kavon.github.com

Website

koka

Koka language compiler and interpreter

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. This fork is used to manage Apple’s stable releases of Clang as well as support the Swift project.

llvm-statepoint-utils

Runtime support for LLVM's GC Statepoints

myth

Type-and-example-driven program synthesis for functional programming languages

netnewswire

RSS reader for macOS and iOS.

predictive-text

autocomplete learning system

reduck

interactive tool for the untyped λ-calculus

redzone

for those paranoid that the kernel clobbers userspace

refinements-popl-16

Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.

rscore

Utility code for Mac and iOS apps.

salsa

(not mine) archive of the SALSA Pool paper + code from SPAA'12

sml-language-server

an SML language server that uses SML/NJ's "visible compiler" feature

stack-rfc

an in-progress LLVM proposal

swift

The Swift Programming Language

swift-book

The Swift Programming Language book