Jefrasa's repositories
aioquic
QUIC and HTTP/3 implementation in Python
Language:PythonBSD-3-Clause000
quinn
Futures-based QUIC implementation in Rust
Apache-2.0000
lingi2401
Lingi2401 - Open Source strategy for software development
Language:HTML000
ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
NOASSERTION000
runelite
Open source Old School RuneScape client
BSD-2-Clause000