ProgMiner

applied-statistics

mledu

Originally by @YUNGC0DE

cool-vt-gif-bot

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

Lab_Web

gazolang

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

ICFPC-2024

ICFP Contest 2024

Lab_Compilers2

micro-prolog

Simple and straightforward implementation of Prolog without any side-effects support developed for educational purposes

miniKanren-coq

A certified semantics for relational programming workout.

pngprinter

Bash script for printing PNG images on terminal

agda-vim

Agda interaction in vim with Python 3

Cipherinator

A platform for JavaScript-based cipher scripts

deptypes

GitHubGraduation-2022

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

itmo-abit-bot

Lab_Coq

A supplementary Coq workout repository

Lab_FormalLang

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

Lab_GPU

Lab_Java_Bonus

Lab_LLVM

Lab_LLVM2

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

Lab_LRP

A supplementary repository for the course on logic and relational programming

Lab_SoftwareDevelopment

Lab_VM

Lama

Teaching language LaMa for a compiler course

newsqool

OCanren

Statically typed embedding of miniKanren relational programming language into OCaml

ocanren-perf

Benchmarks for different miniKanren implementations

pwgen

Password manager for a paranoid

ShipJVM