8000 franziskuskiefer (Franziskus Kiefer) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View franziskuskiefer's full-sized avatar
:octocat:
🗝️
:octocat:
🗝️

Organizations

@FStarLang @hacspec @berlin-crypto @hacl-star @cryspen

Block or report franziskuskiefer

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

An OSX print to pdf-file printer driver

Shell 973 85 Updated Sep 7, 2024

A list of engineering manager resource links.

JavaScript 10,649 644 Updated Dec 27, 2024

Data on COVID-19 (coronavirus) cases, deaths, hospitalizations, tests • All countries • Updated daily by Our World in Data

Python 5,665 3,625 Updated Aug 23, 2024

Find the ideal fuzz targets in a Rust codebase

Rust 215 12 Updated Jun 10, 2025

Guidelines for low-level cryptography software

1,155 89 Updated Jun 11, 2023

Understand and mitigate software-observable side-channels

C++ 501 54 Updated Jan 6, 2021

🎓 无需编写任何代码即可轻松创建漂亮的学术网站 Easily create a beautiful academic résumé or educational website using Hugo and GitHub. No code.

TeX 4,420 6,450 Updated Jun 22, 2025
HTML 40 2 Updated Sep 29, 2021

The Magic Mask for Android

Kotlin 53,908 14,158 Updated Jun 20, 2025

Sly Lex Yacc

Python 850 111 Updated Jun 5, 2024

Draw.io intergration app

PHP 227 61 Updated Nov 10, 2022

pgf/TikZ diagram editor

C++ 1,185 73 Updated Apr 17, 2024

Named vulnerabilities and their practical impact

434 30 Updated Dec 23, 2021

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

C++ 3,807 736 Updated Apr 2, 2025

Flexible and Constant Time Programming Language

OCaml 200 15 Updated Feb 18, 2022

SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The chosen parameters aim to provide security against attackers ru…

C 324 100 Updated Mar 3, 2023

Run-time type checker for Python

Python 1,673 117 Updated Jun 18, 2025

Experiments with Universal Composability in EasyCrypt

OCaml 34 2 Updated Jun 26, 2025

Literate scientific computing and communication for the web

JavaScript 1,495 143 Updated Jan 6, 2023

HACL*, a formally verified cryptographic library written in F*

F* 1,764 180 Updated Jun 22, 2025

Links to stuff arising from or related to the HACS workshop.

34 11 Updated Feb 9, 2018

All versions of PKCS#11 specification in one place

C 69 14 Updated May 2, 2024

Basic implementation of Blake2 in C as a base for Argon2 for Mozilla's Network Security Services.

C++ 10 7 Updated Feb 6, 2017

C library for prototyping and experimenting with quantum-resistant cryptography

C 2,317 564 Updated Jun 25, 2025

crypto/tls, now with 100% more 1.3. THE API IS NOT STABLE AND DOCUMENTATION IS NOT GUARANTEED.

Go 292 50 Updated Sep 25, 2024

Rose-Hulman Senior Project with Mozilla

JavaScript 5 4 Updated Jul 16, 2024

Record and Replay Framework

C++ 9,908 617 Updated Jun 24, 2025

A reversible DER and BER pretty-printer.

Go 244 29 Updated Apr 1, 2025

🔒 Memorable site for testing clients against bad SSL configs.

HTML 2,935 200 Updated May 16, 2024
Next
0