aditink Goto Github PK
Name: Aditi Kabra
Type: User
Name: Aditi Kabra
Type: User
Egg Heuristics for algebraic simplification used by the CESAR tool.
Azure Command-Line Interface
Converts OData query strings to DocumentDB SQL statements
Microsoft Azure PowerShell
The source for REST API specifications for Microsoft Azure.
This repository is for active development of the Azure SDK for .NET. For consumers of the SDK we recommend visiting our public developer docs at https://docs.microsoft.com/en-us/dotnet/azure/ or our versioned developer docs at https://azure.github.io/azure-sdk-for-net.
This repository is for active development of the Azure SDK for Python. For consumers of the SDK we recommend visiting our public developer docs at https://docs.microsoft.com/en-us/python/azure/ or our versioned developer docs at https://azure.github.io/azure-sdk-for-python.
Blog
a research group site
game
Given a cantus firmus generate counterpoint lines following rules of classical composition
Drone Language- a DSL for drones
A block-styled editor with clean JSON output
Project to find optimal routing of ambulances in Ithaca
simulator for particle detector
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
vscode extension for KeYmaera X files
linear algebra types
Android puzzle game
Mac script to make a local texmf folder
PADME experiment software repository
Reinforcement learning for train RBC.
SeaHorn Verification Framework
A game using jam game engine
Recommend tactic strategies in differential dynamic logic.
A computer algebra system written in pure Python
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.