Pinned Repositories
tree-sitter-fsharp
F# grammar for treesitter
aoc2020
csgo_events
Elixir application for fetching and parsing Counter-Strike: Global Offensive events
Decomposition-zk
Fully formalised zero-knowledge protocols derived from the notion of decomposition (MPC) protocols
hibiscus.nvim
:hibiscus: Flavored Fennel Macros for Neovim
neotest-dotnet
Neotest adapter for dotnet
nsidorenco.github.io
OpenVoteNetwork
SSProve formalization of security properties of the Open Vote Network
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
qmk_userspace
Userspace for the Bastard Keyboards QMK firmware.
Nsidorenco's Repositories
Nsidorenco/Decomposition-zk
Fully formalised zero-knowledge protocols derived from the notion of decomposition (MPC) protocols
Nsidorenco/aoc2020
Nsidorenco/csgo_events
Elixir application for fetching and parsing Counter-Strike: Global Offensive events
Nsidorenco/hibiscus.nvim
:hibiscus: Flavored Fennel Macros for Neovim
Nsidorenco/neotest-dotnet
Neotest adapter for dotnet
Nsidorenco/nsidorenco.github.io
Nsidorenco/OpenVoteNetwork
SSProve formalization of security properties of the Open Vote Network
Nsidorenco/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Nsidorenco/rocks-treesitter.nvim
A "just works" tree-sitter setup for rocks.nvim!
Nsidorenco/samoklava
Generated keyboard
Nsidorenco/secco
Nsidorenco/ssprove
A foundational framework for modular cryptographic proofs in Coq
Nsidorenco/thesis
Formalisation of Sigma-protocols and commitment schemes in EasyCrypt
Nsidorenco/zmk-config