Skip to content
@vityaman-edu

vityaman-edu

Projects are made at ITMO University

My Educational Projects 🦆

This organization stores all my educational projects made at the university or somewhere else.

Fundamentals of professional activity

Java Programming

Web Programming

Programming Languages

Math Logic

Сomputational Mathematics

  • Mathematica (Basic Structures, Function Approximation, Root Search, Interpolation, (Non)Linear Equation Systems)
  • Symatica (Symbolic Computations: Derivation, Simplification, Evaluation)
  • Math Tool (CLI for Mathematica & Symatica)

Algoritms and Data Structures

Software Engineering Methods and Tools

  • Assignment: SRS (Latex. Wrote Software specification for a web service)
  • Assignment: VSC (Bash, Git, Subversion. Created scripts emulating user activity in repo)
  • Taparia: Ant (Compiled Taparia using Ant. Added some build targets)

Embedded Systems

Databases

Operating Systems

  • XV6 OS ( An educational OS from MIT with COW fork and linked lists )
  • Networkfs ( A Linux 5.15 kernel module that provides a simple remote fs )
  • C Coroutines ( Simple coroutines for C backend by switch technology )

Computer Systems Architecture

  • Sleepy (A LISP-like minimal language, compiler and RISC processor emulator in Python)

AI Systems

  • Anechka (Simple CLi chat-bot in Python to help Terraria players using Prolog knowledge base)

Business Logic

Mobile Development

Other

Pinned Loading

  1. math-tool math-tool Public

    CLI for Mathematica and Symatica. Enjoy abstract math algorithms and symbolic computations!

    C++

  2. web-taparia-nest-react web-taparia-nest-react Public

    Legendary Web Lab where you need to tap on pictures... but powered by Nest JS and React!

    TypeScript 1

Repositories

Showing 10 of 57 repositories
  • gosvm Public

    Yet Another Go Symbolic Virtual Machine based on Alexey Menshutin course

    vityaman-edu/gosvm's past year of commit activity
    Go 0 MIT 0 0 0 Updated Oct 11, 2026
  • l1nfo Public

    A tool for L1 CPU cache charactersitcs inference

    vityaman-edu/l1nfo's past year of commit activity
    C++ 0 MIT 0 0 1 Updated Oct 10, 2026
  • yqstella Public

    YQStella is an experimental YQL frontend to learn type systems

    vityaman-edu/yqstella's past year of commit activity
    Haskell 1 BSD-3-Clause 0 20 0 Updated Aug 29, 2026
  • hw-model-checking Public

    Model Checking Homeworks.

    vityaman-edu/hw-model-checking's past year of commit activity
    Python 0 MIT 0 0 0 Updated May 20, 2026
  • detekt-sqm Public

    Detekt custom ruleset to check software quality metrics 🌵

    vityaman-edu/detekt-sqm's past year of commit activity
    Kotlin 0 Apache-2.0 0 0 5 Updated May 12, 2026
  • TIP Public Forked from cs-au-dk/TIP

    Static program analysis for TIP

    vityaman-edu/TIP's past year of commit activity
    Scala 0 156 1 0 Updated May 10, 2026
  • hplar Public

    Coding the Handbook of Practical Logic and Automated Reasoning

    vityaman-edu/hplar's past year of commit activity
    Haskell 1 MIT 0 0 0 Updated Feb 1, 2026
  • hs-test-repo Public Forked from belyaev-mikhail/hs-test-repo

    В новый год с новым репозиторием домашних заданий!

    vityaman-edu/hs-test-repo's past year of commit activity
    Haskell 0 MIT 23 0 0 Updated Dec 28, 2025
  • pdg-js Public

    Program Dependence Graph for the TypeScript.

    vityaman-edu/pdg-js's past year of commit activity
    TypeScript 0 0 0 0 Updated Oct 30, 2025
  • bachelor-thesis Public

    The story behind the YQL autocomplete in the YDB CLI.

    vityaman-edu/bachelor-thesis's past year of commit activity
    Typst 2 MIT 0 1 0 Updated May 28, 2025

Top languages

Loading…

Most used topics

Loading…