A Turing complete language 😉

A pseudo-3D pursuit and racing game made using SFML C++

let a million languages bloom

Optimal approximate sampling from discrete probability distributions

IITH BTECH CSE all Courses' Codes and Assignments

An interpreter for the recursive language (POPL course).

Bubble sorts a list in ascending order.

POPL 2025 conference notes and materials. Focus on AI systems, WebAssembly, and verification.

A basic number expression language compiler (POPL + compilers course).

Wraps parentheses around each top-level element of lst (see EOPL).

An interpreter for the lexical language (POPL course).

Functional Programming on Trees.

Returns cartesian product of sos1 with sos2 (see EOPL).

Implementing operations on list using functional calls such as map, foldl, apply ...

Assignments done as a part of the course Principles of Programming Languages (CS350A)

An interpreter for the functional language (POPL course).

Houses assignment submissions made in the course CS350 "Principles of Programming Languages" at IIT-K in 2023-24 I Sem.

Returns list with n-th element replaced by x (see EOPL).

Get nth element of list so that it produces a more informative error message (see EOPL).

Is a variable free in a lambda expression (see EOPL)?