Coder Social home page Coder Social logo

Microsoft's Projects

iot-cardboard-js icon iot-cardboard-js

iot-cardboard-js is a React library for building experiences for IoT applications

iot-curriculum icon iot-curriculum

Hands on labs and content for students and educators to learn and teach the Internet of Things at schools, universities, coding clubs, community colleges and bootcamps

ipc icon ipc

IPC is a C++ library that provides inter-process communication using shared memory on Windows. A .NET wrapper is available which allows interaction with C++ as well.

ipc.bond icon ipc.bond

IPC.Bond is an extension of IPC library that provides inter-process communication using shared memory on Windows with Bond serialization.

ipe icon ipe

IPE is a Linux Security Module (LSM), which allows for a configurable policy to enforce integrity requirements on the whole system. IPE builds on concepts and implementations like loadpin, as well as leveraging existing modules like dm-verity to simplify enforcing integrity requirements on systems that require security constraints and\or compliance reasons. IPE is intended to complement IMA and they can work in conjunction with each other. IPE provides a policy that allows owners of the system to easily specify integrity requirements and uses dm-verity signatures to simplify the authentication of allowed objects like authorized code and data.

iqengine icon iqengine

Improving Storage, Visualization, Annotation, and Sharing of RF Recordings by Leveraging Azure and SigMF

irnet icon irnet

An algorithm for cross-domain NL2SQL

iron-go icon iron-go

Implementation of Iron HMAC cookies in Go

ironclad icon ironclad

The MSR Ironclad project builds provably secure and reliable systems.

isa-vae icon isa-vae

Lp-nested priors for learning disentangled representations with variational autoencoders

isle icon isle

This repository provides code for SVD and Importance sampling-based algorithms for large scale topic modeling.

ivy icon ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

jacdac icon jacdac

Device and service catalogs for Jacdac.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.