normanrink Goto Github PK
Name: Norman Rink
Type: User
Company: DeepMind
Location: London, UK
Name: Norman Rink
Type: User
Company: DeepMind
Location: London, UK
AN encoder that operates on LLVM IR.
Strongly-typed transformation of lambda calculus terms into A-normal form (ANF).
LLVM compiler backend support for memory error detection.
Domain-specific language for tensor kernels in Computational Fluid Dynamics simulations.
Extends Clang to support syntax macros.
Research language for array processing in the Haskell/ML family
Fast fault injector based on Intel's Pin tool.
Suite of test programs for fault injection experiments.
LLVM repository for building Clang with the syntax macros extension.
Development in Idris of standard meta-theory for a simply-typed lambda calculus with recursion.
An implementation of the Vyper smart contract language in Rust.
Coq development using typeclasses for specification of object-oriented code with templates (C++) or generics (Java, Rust).
Stand-alone compiler for the core CFDlang domain-specific language.
Formal development of a type-safe intermediate language for tensor expressions.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.