Projects & Experiments · Satvik Saha

Typst Theorems / cTheorems

I wrote one of the first packages implementing chained numbered theorem environments for Typst, a (relatively!) new markup-based typesetting language.

A typeset page showing numbered theorems.

Typesetting Typst

Source Package

CSokoban

Building on the work done in CSnake, I wrote an implementation of the classic game sokoban for the terminal, written in C.

Command-Line Game C

Source

CSnake

I wrote a rough implementation of the classic game snake for the terminal, written in C.

Command-Line Game C

Source

WeLearn on the Command Line

Parth, Abhay, Amarjeet and I wrote a simple command line interface for IISER Kolkata's online learning management system, WeLearn.

The WeLearn command-line interface in use.

Command-Line Python

Source PyPI

Conway’s Game of Life

I wrote an implementation of Conway's Game of Life for the terminal in python. This was my first time using the curses library.

The animated cellular pattern in the Game of Life.

Command-Line Simulation Python

Source

A Fibonacci Spiral

A polar plot of the Fibonacci sequence in the form \((F_n, F_n)\), zoomed out by a factor of \(2^{32}\).

An animated polar plot of Fibonacci numbers.

Mathematics Visualization

Source

Minesweeper

A classic game of minesweeper, implemented in javascript.

Web Game

Play Source

5906: a Superpermutation in Music

Inspired by Matt Parker's video, I wrote some code to play the superpermutation for \(n = 7\), length \(5906\).

The number 5906, the length of the superpermutation.

Mathematics Music

SoundCloud YouTube Source

Origami

Some experiments with paper and sticky notes.

Arts & Craft