8000 franziskuskiefer (Franziskus Kiefer) / Followers · 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:
🗝️
126 followers · 0 following

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Starstruckx2Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Starstruckx2Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

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
@ssushant0011
ssushant0011
@surajk-m
Suraj Kumar surajk-m
Bye Bye Bye .. bYTEs ! 0 -> MaxBytes-1

Europa

@ArshiaIlaty
Arshia Ilaty ArshiaIlaty
Research and Teaching Assistant at University of California, Irvine and San Diego State University Ex-SW-Intern at @teslamotors

@UniversityofCalifornia,Irvine San Diego, CA

@cfm
Cory Francis Myers cfm

@freedomofpress

@initsecret
sanketh initsecret
avatar by astrophysician
@rnowotniak
Robert Nowotniak rnowotniak
Engineer, PhD in Computer Science. I'm interested in cybersecurity, data privacy, self-hosting, high-performance computing, automation

https://www.metasolid.tech Europe

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@pomcom
pomcom
@vladak
Vladimir Kotal vladak
software engineer, troubleshooter, lecturer

Europe

@piotr-roslaniec
piotr-roslaniec
rust but verify
@Xor0v0
Xor0v0 Xor0v0
Cryptography security enthusiast, CTFer and student.
@alxiong
Alex Xiong alxiong
applied crypto | privacy | blockchain

Singapore

@abadyyy90
AbdullaH abadyyy90
S p : W 7 - 6 T

- Hail

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@timkoval
Tim Koval timkoval
👨🏽‍💻 System Software 🧠 Security 🤖 Robotics

@neurodynamica

@JeffCarpenter
Jeff Carpenter JeffCarpenter

Canada

@avdb13
Mikoto avdb13
𝐀 𝐣𝐨𝐲 𝐢𝐭 𝐰𝐢𝐥𝐥 𝐛𝐞 𝐨𝐧𝐞 𝐝𝐚𝐲, 𝐩𝐞𝐫𝐡𝐚𝐩𝐬, 𝐭𝐨 𝐫𝐞𝐦𝐞𝐦𝐛𝐞𝐫 𝐞𝐯𝐞𝐧 𝐭𝐡𝐢𝐬.

Fn(Option<Company>) -> None Right behind you :-)

@timokoesters
Timo Kösters timokoesters
Our world is like a book, with its top to the North, read from beneath and with words written backward.

Phoenix R&D Dortmund, Germany

@kaichaosun
kaichao kaichaosun
Building a decentralized world.
@tuxcanfly
Javed Khan tuxcanfly
Core Developer

@bcoin-org @handshake-org Remote

@csjones
Chris csjones
mender of things

Outer Space

@chunvanlierop
chunvanlierop
ICT, organization, finance and life: empowerment ignites! Strengthening individuals, and stimulating growth through optimism and pragmatism

Amsterdam

@zhouxinyu
yukon zhouxinyu
Cofounder & CTO of @AutoMQ, Apache Member, RocketMQ co-creator. We are hiring, connect me with WeChat: zhou-xiny

@automq Hangzhou China

@av8ta
av8ta
@cjpatton
Christopher Patton cjpatton
Cryptography research at @cloudflare.

Cloudflare San Francisco, CA, USA

@peterferguson
Peter Ferguson peterferguson
Data Scientist & Engineer turned web3 Full-stack dev | Building Onit | University of Cambridge | Mathematics

@onit-labs Belfast

@the-ancient-one
aether the-ancient-one
@mchenani
Mojtaba Chenani mchenani
Software Engineer

Ephemera | @XMTP

@prabhpreet
Prabhpreet Dua prabhpreet
@Surfndez
Dez Surfndez
Entreprenuer, Educator, and life long developer/programmer/all around tech enthusiast. :) @NVIDIA @Epic @unreal @Developers

USA

@omasanori
Masanori Ogino omasanori

Japan

@Lynixc
Lynixc
@ameba23
peg ameba23
peer-to-peer enthusiast

entropy.xyz Sachsen

@sabixx
Jens Sabitzer sabixx
@jfdm
Jan de Muijnck-Hughes jfdm

University of Strathclyde Europe

@nadimkobeissi
Nadim Kobeissi nadimkobeissi

@symbolicsoft, @cure53berlin Paris, France

@dominikwilkowski
Dominik Wilkowski dominikwilkowski
Likes tabs for indentation and IDE light themes...

CTO at @the-working-party Queensland, Australia

@leonardorib
Leonardo Ribeiro leonardorib
Learning more everyday!

Brazil

@mmaker
Michele Orrù mmaker
@Julian-Dumitrascu
Julian Dumitrascu Julian-Dumitrascu
My teams provide people, methods, and means to help manage relationships, data, and resources.

Sol Global Management

@LS-Rust
LS-Rust
@techno-disaster
td techno-disaster
2x GSoC | GCI | Currently matrix and webrtc @famedly work: @td-famedly

@famedly Berlin, Germany

@Peefy
Peefy
Focus on Programming Language, Compiler. Interested in Developer Tools, IaC, DevOps, Cloud-Native, AI and Web3.

Hangzhou

@Neustradamus
Neustradamus Neustradamus
@jwerle
Joseph Werle jwerle

@SocketSupply NYC

@robinhundt
robinhundt
Interested in bouldering, MPC and Rust.

Darmstadt

@Mohamed988o
Mohamed988o
@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@WillChilds-Klein
Will Childs-Klein WillChilds-Klein

BOS

@AddressXception
AddressXception AddressXception
Native & web dev on iOS, Android, Linux, Windows and wherever else code runs. VR/AR, Ethereum, Cryptography and anything else fun. I love maps.

@InfernoRed

0