PoslavskySV's Stars
Mbed-TLS/mbedtls
An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months between releases.
micrometer-metrics/micrometer
An application observability facade for the most popular observability tools. Think SLF4J, but for observability.
openjdk/jfx
JavaFX mainline development
Zokrates/ZoKrates
A toolbox for zkSNARKs on Ethereum
ethereum/yellowpaper
The "Yellow Paper": Ethereum's formal specification
zapret-info/z-i
Register of Internet Addresses filtered in Russian Federation
tfhe/tfhe
TFHE: Fast Fully Homomorphic Encryption Library over the Torus
nucypher/nucypher
Threshold Access Control (TACo) runtimes for the Threshold Network
CindyJS/CindyJS
A JavaScript framework for interactive (mathematical) content.
szhorvat/MaTeX
LaTeX labels in Mathematica
liuweiran900217/CloudCrypto
A library for cryptographic primitive implementations for Cloud Storage applications.
blynn/pbc
The Pairing-based Crypto library
scipr-lab/dizk
Java library for distributed zero knowledge proof systems
encryptogroup/PSI
Implementations of Private Set Intersection Protocols
JP-Ellis/tikz-feynman
Feynman Diagrams with TikZ
robbiet480/TransitPal
A open source Swift app for iOS 13 that allows you to check your NFC transit card information. Written with SwiftUI.
ARMmbed/uvisor
DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers
fredrik-johansson/fungrim
Fungrim: the Mathematical Functions Grimoire
ARMmbed/mbed-crypto
The development of Mbed Crypto has moved to Mbed TLS. No updates will be made to the mbed-crypto repository anymore.
scipr-lab/libfqfft
C++ library for Fast Fourier Transforms in finite fields
CineDeveloper/cine
The project is closed.
0xd34df00d/IAmMad
Inlining Automagical Metaprogramming Analytical Differentiation
duetosymmetry/qnm
Python package for computing Kerr quasinormal mode frequencies, separation constants, and spherical-spheroidal mixing coefficients
IronCoreLabs/recrypt
Transform encryption library for Scala
osu-crypto/SpOT-PSI
SpOT-Light: Lightweight Private Set Intersection from Sparse OT Extension (CRYPTO 2019)
pogorely/ALICE
Detecting TCR involved in immune responses from single RepSeq datasets
JBontes/Life32
Life32 - Conway's game of life player
peterent/SwiftUIBug
Shows a potential bug with ForEach and Form
mabragor/cl-vknots
Calculate (colored) HOMFLY for (virtual) knots and links through Khovanov hypercube formalism
madnklo/madnklo
High-energy physics software for computing perturbative higher-order corrections to the cross-section of scattering processes.