Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Ae Generator

Authenticated encryption scheme prover/synthesizer
Stars
13
License
other
Open Issues
1
Most Recent Commit
5 years ago
Programming Language
C
Categories
Repo
Suggest An Alternative To ae-generator
Popular Encryption Projects
Wrk ⭐ 36,089
Modern HTTP benchmarking tool
total releases 1latest release February 27, 2018most recent commit 4 months ago
Androidutilcode ⭐ 32,157
:fire: Android developers should collect the following utils(updating).
dependent packages 25total releases 4latest release October 14, 2022most recent commit a year ago
Vault ⭐ 29,193
A tool for secrets management, encryption as a service, and privileged access management
dependent packages 2,141total releases 1,002latest release September 05, 2023most recent commit 4 months ago
Popular Synthesizer Projects
Tone.js ⭐ 12,835
A Web Audio framework for making interactive music in the browser.
dependent packages 205total releases 678latest release October 23, 2022most recent commit 5 months agonpm tone} Downloads
Sonic Pi ⭐ 10,530
Code. Music. Live.
most recent commit 9 days ago
Ddsp ⭐ 2,557
DDSP: Differentiable Digital Signal Processing
dependent packages 1total releases 55latest release May 25, 2022most recent commit 10 months agopypi ddsp} Downloads
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Encryption
Scheme
Synthesizer
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.