Back

Projects

Training 1.58bit LLMs via Distillation - paper

Mini-paper on training 1.58bit LLMs via distillation. It explores the effectiveness of distillation using different quantization methods, such as those introduces in papers: OneBit, BitNet and FBI and compares them with 1bit quantization.

Moondream CPP - C++ library/Android app

C++ header only library that provides inference for Moondream LLM (autoregressive image captioning). Contains a deskop app and Android app made in Qt to showcase the library.

QUMAM - Learning Management System

Platform for managing math courses and students. It offers rich UI for creating courses and exercises, as well as a student portal for tracking progress. Includes LLM capabilities like math task generation from image.

Type Safe Tensors - Haskell library

Pure Haskell tensor library inspired by PyTorch. It provides type-safe N-dimensional tensors, broadcasting, neural network building blocks, and more, all with type-level shape tracking.

TACACS - protocol implementation with correctness proofs

Implementation of the TACACS protocol in Coq and Ocaml. According to the RFC1492.

Kava - programming language

Programming language inspired by Kotlin with elements borrowed from Java and JavaScript. It is statically typed, interpreted, and supports functions as first-class citizens.

Latte - programming language

Imperative language, a subset of Java. It is statically typed, compiled, and supports object-oriented programming.