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/atJIT
autotuning C++, just-in-time!
kavon/llvm-statepoint-utils
Runtime support for LLVM's GC Statepoints
kavon/sml-language-server
an SML language server that uses SML/NJ's "visible compiler" feature
kavon/yaml-ast
visualize an AST serialized as YAML
kavon/autotune
discover good LLVM passes
kavon/NetNewsWire
RSS reader for macOS and iOS.
kavon/ghc-llvm
improvements to llvm to support functional-language compilers, e.g., ghc
kavon/better-language-sml
Standard ML language support for the working programmer
kavon/ghc
LLVM Backend improvements for GHC.
kavon/swift
The Swift Programming Language
kavon/ChezScheme
Chez Scheme
kavon/ghc-tuner
kavon/hadrian
Hadrian: a new build system for the Glasgow Haskell Compiler
kavon/hugo-academic
The website designer for Hugo. Build and deploy a beautiful website in minutes :rocket:
kavon/kavon.github.com
Website
kavon/koka
Koka language compiler and interpreter
kavon/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.
kavon/myth
Type-and-example-driven program synthesis for functional programming languages
kavon/predictive-text
autocomplete learning system
kavon/redzone
for those paranoid that the kernel clobbers userspace
kavon/RSCore
Utility code for Mac and iOS apps.
kavon/stack-rfc
an in-progress LLVM proposal
kavon/swift-book
The Swift Programming Language book
kavon/swift-corelibs-foundation
The Foundation Project, providing core utilities, internationalization, and OS independence
kavon/swift-driver
Swift compiler driver reimplementation in Swift
kavon/swift-evolution
This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.
kavon/swift-package-manager
The Package Manager for the Swift Programming Language
kavon/swift-source-compat-suite
The infrastructure and project index comprising the Swift source compatibility suite.
kavon/swift-syntax
SwiftPM package for SwiftSyntax library.
kavon/vscode-sml
Standard ML support for Visual Studio Code