Gregory Bednov

erlu-rust

Rust 0 0

Updated 2026-10-02 16:24:00 +03:00

tern_solver

Haskell 1 0

ternary logic deduction solver

Updated 2026-09-14 17:11:41 +03:00

configuration.nix

Nix 1 0

NixOS configuration providing useful simple distro for universities, e.g. MIREA

Updated 2026-09-14 16:48:31 +03:00

OcctSurfacer

C++ 1 0

OpenCASCADE surface fact extractor

Updated 2026-09-13 20:18:38 +03:00

nix-wine-experiments

Nix 0 0

what if we want to bring Nix on Wine?

Updated 2026-09-11 17:24:13 +03:00

mireadesktop

Nix 1 0

Desktop for MIREA students. Unofficial repo

Updated 2026-08-28 16:27:12 +03:00

kompas3d

Nix 0 0

Nix flake for kompas 3d installation

Updated 2026-08-24 15:07:05 +03:00

guardant

Nix 0 0

Nix flake for Guardant License Manager

Updated 2026-08-24 15:05:18 +03:00

simpy_terms

Python 0 0

Updated 2026-06-20 13:29:10 +03:00

trees

Haskell 0 0

Updated 2026-04-09 21:51:43 +03:00

evolution_crypting_rust

Rust 0 0

Updated 2026-04-09 21:50:38 +03:00

evolution_crypting

Rust 0 0

Evolution crypting algorithm

Updated 2026-03-30 01:46:05 +03:00

not_a_moodle

Haskell 1 0

Простейший сервер для учета практических работ студентов

Updated 2026-03-22 23:32:46 +03:00

yggscraper

0 0

Updated 2026-03-16 01:03:54 +03:00

erlu

C++ 0 0

IDEF0 modeler implemented in Qt6

Updated 2026-03-04 20:26:17 +03:00