Repositories Users Organizations
Filter
Sort
gregorbednov/ erlu
C++ 0 0
IDEF0 modeler implemented in Qt6
Updated 2026-03-04 20:26:17 +03:00
gregorbednov/ plcc
Rust 0 0
content-addressed dsl
Updated 2025-12-28 17:30:44 +03:00
gregorbednov/tern_solver
gregorbednov/ tern_solver
Haskell 0 0
ternary logic deduction solver
Updated 2025-09-21 18:20:32 +03:00
gregorbednov/OcctSurfacer
gregorbednov/ OcctSurfacer
C++ 0 0
OpenCASCADE surface fact extractor
Updated 2025-09-21 17:45:38 +03:00
gregorbednov/dice
gregorbednov/ dice
C++ 0 0
Updated 2025-09-21 16:44:58 +03:00
gregorbednov/mireapandoc
gregorbednov/ mireapandoc
Lua 0 0
filters for pandoc
Updated 2025-09-21 16:43:20 +03:00
gregorbednov/mireadesktop
gregorbednov/ mireadesktop
Kotlin 0 0
Desktop for MIREA students. Unofficial repo
Updated 2025-09-21 16:42:05 +03:00
gregorbednov/linux_cnc_vmc_nix
gregorbednov/ linux_cnc_vmc_nix
Nix 0 0
Linux CNC VMC nix flake
Updated 2025-09-21 16:41:31 +03:00
gregorbednov/clsp
gregorbednov/ clsp
Kotlin 0 0
C/C++ LSP IJ IDEA CE plugin
Updated 2025-09-21 16:40:01 +03:00
gregorbednov/empty.nix
gregorbednov/ empty.nix
Nix 0 0
near-empty configuration.nix to deploy on new computers in MIREA
Updated 2025-09-21 16:38:48 +03:00
gregorbednov/rustlsp
gregorbednov/ rustlsp
Kotlin 0 0
Rust LSP plugin for IJ IDEA CE: not a RustRover, something worse, however works
Updated 2025-09-21 16:38:20 +03:00
gregorbednov/simintech_nix
gregorbednov/ simintech_nix
Nix 0 0
Flake.nix for SimInTech
Updated 2025-09-21 16:37:36 +03:00
gregorbednov/stm32cubemx
gregorbednov/ stm32cubemx
Nix 0 0
stm32cubemx flake with some customization on sources (making sources local)
Updated 2025-09-21 16:34:23 +03:00
gregorbednov/ diagram-gost
TypeScript 0 0
diagrams by GOST
Updated 2025-09-21 16:24:42 +03:00
gregorbednov/ configuration.nix
Nix 0 0
Updated 2025-09-21 16:22:15 +03:00
gregorbednov/ mireapython
Nix 0 0
python flake for mirea desktop
Updated 2025-09-21 16:16:58 +03:00
gregorbednov/ nix-jetbrains-plugins
Rust 0 0
Nix Flake to download any plugin from local copy of Jetbrains plugins
Updated 2025-09-21 16:11:16 +03:00
gregorbednov/ gostfont
Nix 0 0
gost font NIX FLAKE. does NOT contain any (especially unfree) .ttf files
Updated 2025-09-21 16:09:10 +03:00
gregorbednov/ fsa
Rust 0 0
функциональная схема автоматизации - генератор
Updated 2025-09-21 16:08:15 +03:00
gregorbednov/ packettracer7
Nix 0 0
Updated 2025-09-21 16:02:28 +03:00