844 Open source projects that are alternatives of or similar to Hacl Star

KreMLin is a tool for extracting low-level F* programs to readable C code

Verification framework and tool for higher-order Scala programs

TLA+ language support for Visual Studio Code

Reference mobile app for BrightID

Software Quality Wiki

Links to tools by subject

Read-only mirror of the Klever Git repository

TLA+ language support for Visual Studio Code

Standard Subresource Integrity library for Node.js

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

the champagne of beta embedded databases

Simple Theorem Prover, an efficient SMT solver for bitvectors

Fast and efficient ed25519 signing and verification in Rust.

An advanced SAT solver

Nayuki's implementation of cryptographic primitives used in Bitcoin.

A Javascript implementation of SipHash-2-4

A simple shell utility for encrypting and decrypting files using OpenSSL.

Purely functional SSH library in ocaml.

A list of resources in different fields of Computer Science (multiple languages)

RTree2D is a 2D immutable R-tree with STR (Sort-Tile-Recursive) packing for ultra-fast nearest and intersection queries

W3C Web Cryptography API for Node.js

Simple daemon for locking and unlocking macOS with Yubikey

TokenScript schema, specs and paper

A fast, clean, responsive Hugo theme

Programming language focused on performance and productivity

Fast sequential, threaded, and distributed for-loops for Julia—fold for humans™

Solutions to Matasano crypto challenges in Python 3.

A fast, cross-platform micro web framework. A successor of Iris v8

Industry Working Group on Automated Cryptographic Algorithm Validation

Temporal Logic Planning toolbox

Tars is a high-performance RPC framework based on name service and Tars protocol, also integrated administration platform, and implemented hosting-service via flexible schedule.

Easy to use cryptographic framework for data protection: secure messaging with forward secrecy and secure data storage. Has unified APIs across 14 platforms.

High-Performance Erlang StatsD Client

A set of cryptographic primitives for building a multi-hop Proxy Re-encryption scheme, known as Transform Encryption.

SECCURE compatible Elliptic Curve cryptography in Python

Lightning Network Specifications

验证码输入框，验证码，code view，iOS验证码输入

High-assurance implementation of the Ouroboros protocol family

port of the paramiko library from python->javascript

Waves API library for Node.js and browser

PortableSigner - A Commandline and GUI Tool to digital sign PDF files with X.509 certificates

已作为 Hasor 的子项目，迁移到：http://git.oschina.net/zycgit/hasor

A minimal portable Zcash z-address generator for offline / paper wallets

Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.

Anonymous web chat server, built on top of Themis/WebThemis

Network Security Notes ☔️

All code samples, scripts and more in-depth examples for the book high performance in-memory computing with Apache Ignite. Please use the repository "the-apache-ignite-book" for Ignite version 2.6 or above.

Implementations of the Simon and Speck Block Ciphers

BLS signatures, threshold encryption, distributed key generation library in modern C++. Actively maintained and used by SKALE for consensus, distributed random number gen, inter-chain communication and protection of transactions. BLS threshold signatures can be verified in Solidity, and used as random beacon (common coin)

dude, is my code constant time?

🏴‍☠️ Tools for pentesting, CTFs & wargames. 🏴‍☠️

High-Performance Erlang HTTP 1.1 Client

Main repository for the Veracruz privacy-preserving compute project.

Argon2 password hashing package for go with constant time hash comparison

pyinfra automates infrastructure super fast at massive scale. It can be used for ad-hoc command execution, service deployment, configuration management and more.

benchmarking quantum circuit emulators for your daily research usage

i2pd browser bundle

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Java Performance

[Archived] A Fast Multi-tiered Distributed Storage System based on User-Level I/O