Nikolaj Sidorenco's repositories
tree-sitter-fsharp
tree-sitter-fsharp
Decomposition-zk
Fully formalised zero-knowledge protocols derived from the notion of decomposition (MPC) protocols
Language:Haskell000
csgo_events
Elixir application for fetching and parsing Counter-Strike: Global Offensive events
Language:Elixir000
hibiscus.nvim
:hibiscus: Flavored Fennel Macros for Neovim
Language:FennelMIT000
Language:HTML000
OpenVoteNetwork
SSProve formalization of security properties of the Open Vote Network
Language:CoqMIT000
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:CGPL-2.0000
samoklava
Generated keyboard
Language:MakefileMIT000
ssprove
A foundational framework for modular cryptographic proofs in Coq
Language:CoqMIT000
thesis
Formalisation of Sigma-protocols and commitment schemes in EasyCrypt
Language:TeX000
Language:C000