- Germany / USA
- https://muens.io
- @pmmuens
- @pmuens@mastodon.social
- @pmuens.bsky.social
Stars
Introductory lecture notes on programmable cryptography
Workbook for Introduction to Programmable Cryptography
Lightpanda: the headless browser designed for AI and automation
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Huly — All-in-One Project Management Platform (alternative to Linear, Jira, Slack, Notion, Motion)
❶ One is a new React framework - target web and native with a single Vite plugin and fully shared code, so you can ship cross-platform nearly as easy as single-platform.
Bare metal to production ready in mins; your own fly server on your VPS.
BOLT: Basis of Lightning Technology (Lightning Network Specifications)
The all-in-one Desktop & Docker AI application with built-in RAG, AI agents, No-code agent builder, and more.
nooma-42 / Lookup-Argument
Forked from han0110/plonkishBenchmark Lookup Argument based on Plonkish
Developer-first, open source Typeform alternative (formerly known as Blocks.md)
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
TypeScript-centric app development platform: notebook and AI app builder
Repo for https://zig.guide content. Get up to speed with Zig quickly.
Just a detailed in-depth, and comprehensive explanation of how computers operate internally, focusing on RAM and CPU aspects, respectively. By @ILyesMk2
The simplest way to create progressive web apps across platforms and devices. Start here. This repo is home to several projects in the PWABuilder family of tools.
❤️ 1000+ Hand-Crafted Go Examples, Exercises, and Quizzes. 🚀 Learn Go by fixing 1000+ tiny programs.
Homomorphic Encryption library and applications in Swift
A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit/64-bit ARM, 8-bit AVR and 32-bit RISC-V architectures.
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP