Beast code in Giters

Eridan Domoratskiy's repositories

applied-statistics

Language:TypeScript10 50

mledu

Originally by @YUNGC0DE

Language:HTML7 4 1

cool-vt-gif-bot

Telegram bot that creates cool GIFs, with love from VT 💖

Language:Kotlin2 20

CW_DB

Language:TypeScript2 40

Lab_Web

Language:TypeScript2 40

gazolang

Я написал очередной бесполезный язык программирования, газоязык... На нём программировали наши газопредки

Language:TypeScript1 20

ICFPC-2024

ICFP Contest 2024

Language:Python100

Lab_FunctionalProgramming

Language:Racket1 30

pngprinter

Bash script for printing PNG images on terminal

Language:ShellMIT1 30

regular-equation-system-solver

Language:Haskell1 40

agda-vim

Agda interaction in vim with Python 3

Language:Vim ScriptBSD-2-Clause010

GitHubGraduation-2022

Join the GitHub Graduation Yearbook and "walk the stage" on June 11.

Language:JavaScript020

itmo-abit-bot

Language:Kotlin010

Lab_Compilers2

Language:TeX010

Lab_Coq

A supplementary Coq workout repository

Language:Coq010

Lab_DependentTypes

020

Lab_FormalLang

Курс по формальным языкам: шаблон для домашних работ + материалы

Language:PythonApache-2.0010

Lab_GPU

MIT010

Lab_Java_Bonus

Language:Java020

Lab_LLVM

Language:C++020

Lab_LLVM2

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

NOASSERTION010

Lab_LRP

A supplementary repository for the course on logic and relational programming

Language:Haskell010

Lab_SoftwareDevelopment

020

Lab_VM

Language:C++020

Lama

Teaching language LaMa for a compiler course

Language:OCamlGPL-3.0010

newsqool

Language:TypeScript02 6

OCanren

Statically typed embedding of miniKanren relational programming language into OCaml

Language:OCamlLGPL-2.1010

pwgen

Password manager for a paranoid

Language:C++030

sage-on-gentoo

(Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds

Language:Shell020

yaprofi2022-program-engineering-task

Language:Kotlin030