Pinned Repositories
EditedUE4
fortuples
Procedural macros to generalize inherent and trait implementations over tuples
household
serde-env-field
A helper for serde deserialization with environment variables expansion
mrshiposha's Repositories
mrshiposha/fortuples
Procedural macros to generalize inherent and trait implementations over tuples
mrshiposha/household
mrshiposha/serde-env-field
A helper for serde deserialization with environment variables expansion
mrshiposha/apriori-engine
mrshiposha/apriori2
The second version of a priori collision system
mrshiposha/baedeker
Substrate network orchestration framework
mrshiposha/chainql
mrshiposha/ConCert
A framework for smart contract verification in Coq
mrshiposha/cumulus
Write Parachains on Substrate
mrshiposha/display-distributor
mrshiposha/drm-rs
A low-level abstraction of the Direct Rendering Manager API
mrshiposha/fleet
NixOS cluster configuration tool
mrshiposha/greetd
[mirror] A generic greeter daemon (https://sr.ht/~kennylevinsen/greetd)
mrshiposha/if-watch-crates-io
mrshiposha/if-watch-github
mrshiposha/intel-osrc-gfx-prm
Intel Open Source Graphics Programmer Reference Manual (PRM)
mrshiposha/jay
A Wayland compositor written in rust
mrshiposha/jay-cfg
mrshiposha/neo-tree.nvim
Neovim plugin to manage the file system and other tree like structures.
mrshiposha/nix-home
Nix Home Manager
mrshiposha/open-gpu-doc
Documentation of NVIDIA chip/hardware interfaces
mrshiposha/polkadot
Polkadot Node Implementation
mrshiposha/protos
mrshiposha/ReGreet
Clean and customizable greeter for greetd
mrshiposha/regship
mrshiposha/satellite
mrshiposha/substrate
Substrate: The platform for blockchain innovators
mrshiposha/sway
i3-compatible Wayland compositor
mrshiposha/twelf
The Twelf Programming Language (mirror of SVN repository)
mrshiposha/unq-smart-properties
Substrate node of Unique Network with Smart Properties