Pinned Repositories
an-encoder
AN encoder that operates on LLVM IR.
ANF-transformer
Strongly-typed transformation of lambda calculus terms into A-normal form (ANF).
backend-support
LLVM compiler backend support for memory error detection.
cfdlang
Domain-specific language for tensor kernels in Computational Fluid Dynamics simulations.
clang-syntax-macros
Extends Clang to support syntax macros.
dex-lang
Research language for array processing in the Haskell/ML family
fastfi
Fast fault injector based on Intel's Pin tool.
llvm-syntax-macros
LLVM repository for building Clang with the syntax macros extension.
TensorDSL
Stand-alone compiler for the core CFDlang domain-specific language.
TensorIR
Formal development of a type-safe intermediate language for tensor expressions.
normanrink's Repositories
normanrink/TensorIR
Formal development of a type-safe intermediate language for tensor expressions.
normanrink/fastfi
Fast fault injector based on Intel's Pin tool.
normanrink/clang-syntax-macros
Extends Clang to support syntax macros.
normanrink/cfdlang
Domain-specific language for tensor kernels in Computational Fluid Dynamics simulations.
normanrink/backend-support
LLVM compiler backend support for memory error detection.
normanrink/ANF-transformer
Strongly-typed transformation of lambda calculus terms into A-normal form (ANF).
normanrink/llvm-syntax-macros
LLVM repository for building Clang with the syntax macros extension.
normanrink/TensorDSL
Stand-alone compiler for the core CFDlang domain-specific language.
normanrink/an-encoder
AN encoder that operates on LLVM IR.
normanrink/dex-lang
Research language for array processing in the Haskell/ML family
normanrink/faults-test-suite
Suite of test programs for fault injection experiments.
normanrink/PCF
Development in Idris of standard meta-theory for a simply-typed lambda calculus with recursion.
normanrink/PolynomialNormalizer
normanrink/rust-vyper
An implementation of the Vyper smart contract language in Rust.
normanrink/SepLogicTypeclasses
Coq development using typeclasses for specification of object-oriented code with templates (C++) or generics (Java, Rust).