Dependent Object Types (DOT), bottom up

[NeurIPS'25] FlySearch: Exploring how vision-language models explore

Notes from subjects taught on TCS, JU

A Dependently Typed Functional Programming Language

Agda is a dependently typed programming language / interactive theorem prover.

Koka language compiler and interpreter

Compiler for Elm, a functional language for reliable webapps.

Repo for epic compiler project made for Compilers course on TCS, JU

Web application for scientific summer school

historical archive of rust pre-publication development

A fun survival game

A project in concurrent programming

Command line program to submit solutions on code testing platform Satori written in Rust

C++ parsing DSL

Arrr! Welcome aboard me Arch Linux dotfiles treasure trove! 🦜

The Python programming language

tower defence game very cool

Hindley-Milner Type Inference implemented in (although not for) Python.

Chess made as an assignment project for OOP course 2021/22

Terminal based presentation tool

A website for the #proglangdesign community on freenode

A small extensible programming language designed for concise expression with little code.

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

A safe, easy systems language

🐉 A practical game and data language