Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code
Stars
377
License
apache-2.0
Open Issues
36
Most Recent Commit
3 months ago
Programming Language
OCaml
Categories
Repo
Alternatives To Karamel
Select To Compare
Bitcoin ⭐ 73,537
Bitcoin Core integration/staging tree
total releases 2most recent commit 3 months ago
Openbbterminal ⭐ 26,037
Investment Research for Everyone, Everywhere.
dependent packages 5total releases 34most recent commit 3 days agopypi openbb} Downloads
Openssl ⭐ 23,577
TLS/SSL and crypto library
dependent packages 225total releases 50most recent commit 3 months ago
Gun ⭐ 17,626
An open source cybersecurity protocol for syncing decentralized graph data.
dependent packages 163total releases 236most recent commit 3 months agonpm gun} Downloads
Crypto Js ⭐ 14,883
JavaScript library of crypto standards.
dependent packages 11,301total releases 22most recent commit 6 months agonpm crypto-js} Downloads


Suggest An Alternative To karamel
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Ocaml Cryptography
Ocaml Fstar
Cryptography C Language

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Cryptography
Ocaml
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.