Norman Rink (@normanrink)
github

normanrink

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    24
  • Global Rank 571,305 (Top 20 %)
  • Followers 9
  • Following 2
  • Registered almost 9 years ago
  • Most used languages
    C++
         62.5 %
    Haskell
         25.0 %
    Coq     12.5 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 20,399
  • Country Ranking
    Coq     17
    Haskell
         500
    C++
         1,741

Top repositories

1

TensorIR

Formal development of a type-safe intermediate language for tensor expressions.
Coq
8
star
2

clang-syntax-macros

Extends Clang to support syntax macros.
C++
4
star
3

fastfi

Fast fault injector based on Intel's Pin tool.
C++
4
star
4

cfdlang

Domain-specific language for tensor kernels in Computational Fluid Dynamics simulations.
C++
3
star
5

backend-support

LLVM compiler backend support for memory error detection.
C++
2
star
6

TensorDSL

Stand-alone compiler for the core CFDlang domain-specific language.
Haskell
1
star
7

llvm-syntax-macros

LLVM repository for building Clang with the syntax macros extension.
C++
1
star
8

ANF-transformer

Strongly-typed transformation of lambda calculus terms into A-normal form (ANF).
Haskell
1
star