Gregory Bednov gregorbednov · he/him
0 followers · 0 following
Repositories
29
 Projects Packages Public activity Starred repositories
6
Filter
Sort
gregorbednov/tern_solver
gregorbednov/ tern_solver
Haskell 1 0
ternary logic deduction solver
Updated 2026-09-14 17:11:41 +03:00
gregorbednov/configuration.nix
gregorbednov/ 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
gregorbednov/OcctSurfacer
gregorbednov/ OcctSurfacer
C++ 1 0
OpenCASCADE surface fact extractor
Updated 2026-09-13 20:18:38 +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/ lbc
Go 1 0
noncommercial blockchain
Updated 2025-09-21 15:35:25 +03:00