Pinned Repositories
aditink.github.io
algebraic_simplification_cesar
Egg Heuristics for algebraic simplification used by the CESAR tool.
azure-cli
Azure Command-Line Interface
azure-documentdb-odata-sql
Converts OData query strings to DocumentDB SQL statements
azure-documentdb-python
azure-powershell
Microsoft Azure PowerShell
azure-rest-api-specs
The source for REST API specifications for Microsoft Azure.
azure-sdk-for-net
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.
azure-sdk-for-python
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.
hep
simulator for particle detector
aditink's Repositories
aditink/algebraic_simplification_cesar
Egg Heuristics for algebraic simplification used by the CESAR tool.
aditink/EMSRouting
Project to find optimal routing of ambulances in Ithaca
aditink/hep
simulator for particle detector
aditink/aditink.github.io
aditink/azure-cli
Azure Command-Line Interface
aditink/azure-powershell
Microsoft Azure PowerShell
aditink/azure-rest-api-specs
The source for REST API specifications for Microsoft Azure.
aditink/azure-sdk-for-net
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.
aditink/azure-sdk-for-python
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.
aditink/blog
Blog
aditink/capra-public
a research group site
aditink/colorSnake
game
aditink/counterpointGenerator
Given a cantus firmus generate counterpoint lines following rules of classical composition
aditink/DroL
Drone Language- a DSL for drones
aditink/editor.js
A block-styled editor with clean JSON output
aditink/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
aditink/kyx-extension
vscode extension for KeYmaera X files
aditink/linguine
linear algebra types
aditink/make-local-texmf
Mac script to make a local texmf folder
aditink/padme-fw
PADME experiment software repository
aditink/pathIndependence
aditink/rl-baselines3-zoo
Reinforcement learning for train RBC.
aditink/seahorn
SeaHorn Verification Framework
aditink/strategy-generator
Recommend tactic strategies in differential dynamic logic.
aditink/sympy
A computer algebra system written in pure Python
aditink/theorem-proving
aditink/thisLab
aditink/trainrl
aditink/transmissionLines
aditink/Xevo1