Gregory Bednov gregorbednov · he/him
0 followers · 0 following
Repositories
33
 Projects Packages Public activity Starred repositories
5
Filter
Sort
gregorbednov/configuration.nix
gregorbednov/ configuration.nix
Nix 1 0
NixOS configuration providing useful simple distro for universities, e.g. MIREA
Updated 2026-09-02 21:25:55 +03:00
gregorbednov/OcctSurfacer
gregorbednov/ OcctSurfacer
C++ 1 0
OpenCASCADE surface fact extractor
Updated 2026-08-30 14:44:46 +03:00
gregorbednov/mireadesktop
gregorbednov/ mireadesktop
Nix 1 0
Desktop for MIREA students. Unofficial repo
Updated 2026-08-28 16:27:12 +03:00
gregorbednov/ not_a_moodle
Haskell 1 0
Простейший сервер для учета практических работ студентов
Updated 2026-03-22 23:32:46 +03:00
gregorbednov/tern_solver
gregorbednov/ tern_solver
Haskell 1 0
ternary logic deduction solver
Updated 2025-09-21 18:20:32 +03:00