Dmitry Pogodin's starred repositories
awesome-cryptography
A curated list of cryptography resources and links.
practical-fm
A gently curated list of companies using verification formal methods in industry
rust-os-comparison
A comparison of operating systems written in Rust
linear-scala
Linear types in Scala
linear-base
Standard library for linear types in Haskell.
ML-Papers-Explained
Explanation to key concepts in ML
hnix-store
Haskell implementation of the Nix store
liquidhaskell
Liquid Types For Haskell
awesome-programming-languages
The list of awesome programming languages that you might be interested in.
diffsitter
A tree-sitter based AST difftool to get meaningful semantic diffs
best-of-crypto
🏆 A ranked list of awesome open-source crypto projects. Updated weekly.