Code Character

It is a strategy-based programming game where you control troops in a turn-based game with the code you write in one of the multiple programming languages (C++, Python, Java) available in the game. Worked on the implementation of the game simulator(C++) and on the game driver(Rust) which uses many low level concepts such as SPMC/MPMC channels, IPC, process management, etc.


A library for incremental computation with support for parallelism in OCaml. Other similar libraries lack parallelism constructs. The work is based on the paper ["Efficient Parallel Self-Adjusting Computation"](


Enma is a toy programming language written in C++ and OCaml. It has support for primary data types Number, Boolean, and String and also has a uni-directional typechecker. The language can be transpiled to readable C++ code as well as compiled to bytecode. The bytecode emulator is written in OCaml.


It is a parser combinator libray written in C++, inspired by Haskell’s parsec. It is implemented using modern C++ with extensive use of lambda functions, variadics, etc.


Risp is a scheme interpreter written in Rust. It only implements a small subset of the language, with support for two primitive data types: bool and numbers. It has a few built-in functions for different numeric and list transformation operations as well as support for recursion.


It is a library for automatic memoization of function call written in C++. It is inspired by python's lru_cache decorator.

Pragyan CTF 2021

Created challenges for Binary Exploitation and Reversing category, which included writing a small custom memory allocator, reversing a highly optimized vectorized binary file and other common vulnerabilities.

Copyright © Dipesh Kafle. All rights reserved. | Powered by Zola & Apollo