Anytime Approximate Formal Feature Attribution

Can you design a controller to steer a simulated car?

StarNet

A curated list to learn about distributed systems

JVM readings

A curated list of awesome loosely performance related JVM stuff. Inspired by awesome-python.

Yet another resource for collecting articles, videos etc. regarding functional programming

K Framework Tools 7.0

Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently…

Cecil is a library to inspect, modify and create .NET programs and libraries.

Learning-based controlled concurrency testing in P#.

GCC Front-End for Rust

An extremely fast Python linter and code formatter, written in Rust.

Master programming by recreating your favorite technologies from scratch.

Repository for the ZTF Summer School 2022

The official Krittika IITB Wiki

CS228 Tutorial Solutions, Spring 2023

A digital logic designer and circuit simulator.

A PDF processor written in Go.

Cross-platform game engine in Rust.

Double pendulum simulator to showcase the chaotic behavior

Implementation of Multi-Cycle RISC architecture

This is the repository for the project "Learning with quantum computers" as a part of Winter in Data Science (WiDS) 2022 at IIT Bombay.

Python package for processing Gamma-ray Coordinates Network (GCN) notices

General Coordinates Network (GCN) web site

An introduction to ARM64 assembly on Apple Silicon Macs

DevClad is a social-workspace platform for developers. Network, build, and ship your ideas rapidly.

Create boxes in the terminal

Boxes for use in the terminal