Shrinish Donde's Projects
Software development bot that automatically repairs build failures on Travis Continuous Integration. Join the bot revolution! :star2::robot::star2::revolving_hearts:
SDN project 2019 on Mininet
Simple .NET Core REST API server for Mobile/IoT sensors
Config files for my GitHub profile.
Personal Website
A superoptimizer for LLVM IR
STOKE: A stochastic superoptimizer and program synthesizer
An HTML presentation about my work on the Stoke Super-Optimiser
WebAssembly engine in Scala
This project deals with managment software for toll booth over higways. The record of incoming and outgoing vechile as Total Rent, Vechile Number, Time IN, Time OUT, Type of vechile are stored in database. It also contains storage for all the employees working for the toll company with their respective designation.
http://torch.ch
The Vector Optimized Library of Kernels
This is a practise app using VueJs
perturbation analysis, correctness attraction and randomization, by KTH Royal Institute of Technology
The Z3 Theorem Prover