Block or Report
Block or report ayanroy91
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Language
Sort by: Recently starred
Starred repositories
Kolmogorov-Arnold Network for Reinforcement Leaning, initial experiments
Algorithms and utilities I use for representation learning research
Quantum Multi-agent Reinforcement Learning (QMARL)
The AVA dataset densely annotates 80 atomic visual actions in 351k movie clips with actions localized in space and time, resulting in 1.65M action labels with multiple labels per human occurring fr…
Main library and Python code for Compendium Project to leverage mobile biometric security on desktops and laptops
Online Z-notations Editor with Draft.js and React.js
Project FlowGate is an open-source vendor-neutral project that helps enterprises integrate facility systems data and IT data to form a single holistic view of their operations. By combining these t…
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
OpenID Certified™ OpenID Connect and OAuth Provider written in Go - cloud native, security-first, open source API security for your infrastructure. SDKs for any language. Works with Hardware Securi…
Code for our AAMAS 2020 paper: "A Story of Two Streams: Reinforcement Learning Models from Human Behavior and Neuropsychiatry".
Summaries and annotations of research papers across broad spectrum of AI and ML.
Python Multi-Agent Reinforcement Learning framework
Official repository for the paper "Grokfast: Accelerated Grokking by Amplifying Slow Gradients"
This is my solution to the Neuralink Compression Challenge to compress a sample of neural audio losslessly written in python. It includes modules to encode and decode as well as a suite of tests.
Formal verification of the protocol OAuth 2.0 (draft 22) using the automatic cryptographic protocol verifier Proverif.
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
Contains official Standard Library for PlantUML
🚀 The Architecture of Open Source Applications Volume 1 and Volume 2 & 500 Lines or Less. (PDF)
Building Ultimate Data Structure and Algorithms in C++ Solution Repository. Solution to various DSA problems including problem from Leetcode, Codechef, GFG, Coding Ninjas.