event modeling language - a dsl for producing event model diagrams from code
☆18Sep 14, 2022Updated 3 years ago
Alternatives and similar repositories for eml
Users that are interested in eml are comparing it to the libraries listed below
Sorting:
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- Community edition of Nightfall_4☆16Feb 27, 2026Updated last week
- A Rust-based bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability enforced isolation formi…☆40Updated this week
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated 6 months ago
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Updated this week
- This repository contains numerous small utility packages. These packages serve various useful purposes and are written in nano ESModule w…☆10Feb 18, 2026Updated 2 weeks ago
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- ☆10Jan 4, 2023Updated 3 years ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- We defined the interfaces of four Python classes, namely ABE, Authority, User, and init, using the Charm-Crypto framework.☆12Apr 1, 2023Updated 2 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- 🎠 A carousel component for bubbletea applications☆10Apr 10, 2023Updated 2 years ago
- Revolutionizing Anonymity with Zero-Knowledge Technology☆10May 31, 2023Updated 2 years ago
- Sources of the tusistor TUI app and the rusistor lib.☆14Dec 29, 2025Updated 2 months ago
- My notes from continual learning 🤔💡📗☆17Feb 19, 2026Updated 2 weeks ago
- An erc-20 token with EIP750 style zk private transactions and a new nullifier scheme to allow partial spends☆11Apr 11, 2025Updated 10 months ago
- Cycle-accurate Game Boy emulation☆11Updated this week
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- Terminal UI based ethereum wallet (WIP)☆17Dec 30, 2025Updated 2 months ago
- Temporal versioning demo - Go SDK☆11Mar 22, 2024Updated last year
- ansi contains a bunch of constants and possibly additional terminal related functionality in the future.☆15Nov 11, 2019Updated 6 years ago
- A command line tool for creating, managing and distributing issued currencies and NFT's on the XRPL.☆12Dec 22, 2023Updated 2 years ago
- ☆11Aug 20, 2024Updated last year
- A simple cheat sheet for the cypher query language☆11Jun 28, 2019Updated 6 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- A CLI file browser and media interface for Raspberry Pi and Omxplayer.☆12Mar 12, 2019Updated 6 years ago
- Generic math on integer lattices☆10Feb 23, 2024Updated 2 years ago
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago
- ☆11Mar 19, 2024Updated last year
- Circuit for generating ethereum account RLP☆10Apr 6, 2025Updated 11 months ago
- ☆11Oct 26, 2020Updated 5 years ago
- ☆11Mar 2, 2023Updated 3 years ago
- ☆12Oct 4, 2023Updated 2 years ago
- Welcome to the Partially Decryptable Ciphertext Policy Attribute-Based Encryption (CP-ABE) Scheme! This repo implements a CP-ABE scheme t…☆11Jul 17, 2025Updated 7 months ago
- ABAC Microservice Architecture POC☆11Feb 1, 2022Updated 4 years ago