Skip to content
View dufkan's full-sized avatar
  • Masaryk University
  • Czech Republic

Highlights

  • Pro

Organizations

@crocs-muni @OpenCryptoProject
Block or Report

Block or report dufkan

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

A beautiful home server OS for self-hosting with an app store. Buy a pre-built Umbrel Home with umbrelOS, or install on a Raspberry Pi or any x86 system.

TypeScript 6,823 503 Updated Jun 20, 2024

NVR with realtime local object detection for IP cameras

Python 15,789 1,482 Updated Jun 22, 2024

Distinguisher of Standard & Simulated Elliptic Curves via Traits.

Python 14 5 Updated Jun 20, 2024

The Nexus zkVM: The zero-knowledge virtual machine

Rust 565 172 Updated Jun 22, 2024

a multi-language bindings generator for rust

Rust 2,458 208 Updated Jun 22, 2024

Let Home Assistant take controll over your SencorVacuum

Python 3 Updated May 8, 2023

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

Shell 35,933 1,768 Updated May 28, 2024

A lightweight and high-performance reverse proxy for NAT traversal, written in Rust. An alternative to frp and ngrok.

Rust 8,734 440 Updated Jun 20, 2024

A Rust library for PDF document manipulation.

Rust 1,534 155 Updated Apr 23, 2024
Dart 5 2 Updated May 12, 2024

Build smaller, faster, and more secure desktop applications with a web frontend.

Rust 79,205 2,348 Updated Jun 20, 2024

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Zig 71,607 2,532 Updated Jun 22, 2024

Explanation to key concepts in ML

6,748 526 Updated Jun 21, 2024

Resume Matcher is an open source, free tool to improve your resume. It works by using language models to compare and rank resumes with job descriptions.

Python 4,661 1,801 Updated Jun 18, 2024

A curated list of free courses & certifications.

23,192 1,792 Updated Jun 14, 2024

A controller for Somfy RTS shades and blinds

C++ 419 32 Updated Jun 19, 2024

The front-end part of the MPC interface setup that interconnects common cryptographic interfaces with Meesign.

Rust 1 Updated May 21, 2024

🦀 Small exercises to get you used to reading and writing Rust code!

Rust 50,768 9,758 Updated Jun 22, 2024

The HTML Presentation Framework

JavaScript 67,220 16,693 Updated Jun 13, 2024

A rugged, minimal framework for composing JavaScript behavior in your markup.

HTML 27,328 1,194 Updated Jun 18, 2024

Full stack web architecture for Rust

CSS 329 29 Updated Jun 18, 2024

Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation

Rust 117 44 Updated Jun 21, 2024

Implementation of mathematical operations with big numbers and elliptic curve points for smart cards with JavaCard platform.

Java 82 27 Updated Jul 19, 2023

ElGamal encryption and related zero-knowledge proofs

Rust 12 6 Updated Jun 20, 2024

Materials and slides for talks I've given in the past

10 Updated Sep 26, 2023

A native gRPC client & server implementation with async/await support.

Rust 9,247 937 Updated Jun 22, 2024

A new markup-based typesetting system that is powerful and easy to learn.

Rust 29,605 814 Updated Jun 22, 2024

Profiler for JavaCard code and a rewrite of OpenCryptoProject/JCProfiler with easier usage and much more!

Java 8 3 Updated May 3, 2024

Threshold ECDSA via Triples

Rust 67 8 Updated Apr 5, 2024

Implementation of Toolformer, Language Models That Can Use Tools, by MetaAI

Python 1,914 121 Updated Dec 21, 2023
Next