frank-emrich Goto Github PK
Name: Frank Emrich
Type: User
Bio: Research Associate @ University of Edinburgh
Location: Edinburgh, UK
Name: Frank Emrich
Type: User
Bio: Research Associate @ University of Edinburgh
Location: Edinburgh, UK
Optimizer and compiler/toolchain library for WebAssembly
static analysis of C/C++ code
A composable build system for OCaml.
Prototype for language extension using meta-programming (OCaml's PPX)
Links
Mirror for elpa packages used by me
OCaml debug adapter
Main public package repository for opam, the source package manager of OCaml.
An open-source implementation of the Command & Conquer: Red Alert engine using .NET/Mono and OpenGL. Runs on Windows, Linux and Mac OS X.
SparkleShare is an Open Source collaboration and sharing tool that is designed to keep things simple and to stay out of your way. It allows you to instantly sync with Git repositories and is available for Linux distributions, Mac and Windows.
Share one mouse and keyboard between multiple computers on your desk.
Windows Explorer Extension to Operate Git; Mirror of GoogleCode repository
Coursework on Dafny
A repository for the stack switching proposal.
Low level tooling for WebAssembly in Rust
A fast and secure runtime for WebAssembly
WebAssembly meetings (VC or in-person), agendas, and notes
WebAssembly specification, reference interpreter, and test suite.
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.