I'm Vismay Raj, currently working as a Senior Software Engineer at Conviva. I completed my Undergraduate studies at Indian Institute of Technology Palakkad.
My interests span Compilers, Codegen, Functional programming, Formal verification, Databases, and Low-Level programming. I'm familiar with languages such as Rust, Haskell, C++/C, Python, Zig, and Scala.
In my free time, I like to tinker with projects that involve parsing, codegen, and compiler optimizations.
A typed Actor system written in Rust, any type that derives the trait
within the library enables us to create an actor with the following functions
messages can be sent to the actor which the actor can process. queries can
be asked to the actor and responses will be sent back from the actor to the
place from which the queries are asked, this can be awaited with a timeout
as well. The framework also provides with a termination switch that terminates
the actor after performing the cleanup tasks specified in the trait
λ github-link
Specify the states and transition probabilities of a probabilistic
finite automaton in Lua language and this engine can simulate the
movement of the system through states, starting from the start
state and until the system reaches the state marked as end.
It also provides global variables that evolve over time through
which we can affect the behavior of multiple PFAs as the system
allows us to run multiple PFAs at the same time
λ github-link
A simple compiler for a language similiar to c type infered and strictly
typed old implementation in standard ML currently being exported to Haskell
λ StandardML - github link
λ Haskell - github link
A simple voxel engine to render 3d objects
Voexel is the short for volumetric pixel
Any shape can be divided into a set of voxels
This project is to create such an engine in C++
λ github link
A cellular automaton to simulate John Conwoy's Game of life
Cellular automatons are cells interacting with nearby cells with some given rules
to perform behaviors that are similiar to real life systems
λ github link