esengie

fpl-exploration-tool

Diploma work (if this is still here contact me if you need details)

KotlinCourseHW

https://compscicenter.ru/courses/kotlin/2016-autumn/

AgdaCourse

algebraic-checker

au_java

Java HW repo, autumn semester 2016 contains large homeworks (2k loc)

Software-Design-Course-2016

au-linux-kernel-spring-2016

SpbAU linux kernel spring 2016 course tasks and Linux kernel repository

au_python

authjs-youtube-tutorial

cath_lec

Just for me

compiler-tutorial

esengie.github.io

formal_langs

hpcourse

Repository to store student's practical works on high performance computing course

liquidhaskell

Liquid Types For Haskell

Master-thesis

movie_searcher

noto-emoji

Noto Emoji fonts

Parallel-2016

peeps

react-tailwind-chrome-extension-template

Build your next Chrome Extension with React and Tailwind + Zero Setup!

remix_tutorial

SaaS-Boilerplate

🚀🎉📚 SaaS Boilerplate built with Next.js + Tailwind CSS + Shadcn UI + TypeScript. ⚡️ Full-stack React application with Auth, Multi-tenancy, Roles & Permissions, i18n, Landing Page, DB, Logging, Testing

server_tester

A program allowing to measure the effectiveness of different server variants in Java

softwaredesign

Homeworks for SPbAU Software Design course

system-f-smth

Various system-f extensions in haskell (if I'll bother implementing them) [omega-sub with existentials?]

test_react

Just a test repo

thisyearweconquer.github.io

vercel_next_intro

Workbench

Used for GitHub tests