Hindley–Milner Algorithm J implementation in Rust.
To run the repl, use the following command:
$ cargo run
If you want to type check a file, use the following command:
$ cargo run
Hindley–Milner Algorithm J implementation in Rust.
Overview
You might also like...
Official Rust implementation of the Nimiq protocol
Nimiq Core implementation in Rust (core-rs) Rust implementation of the Nimiq Blockchain Core Nimiq is a frictionless payment protocol for the web. Thi
72 Sep 23, 2022
Rust implementation of Zcash protocol
The Parity Zcash client. Gitter Blog: Parity teams up with Zcash Foundation for Parity Zcash client Installing from source Installing the snap Running
183 Sep 8, 2022
A (mostly) pure-Rust implementation of various cryptographic algorithms.
Rust-Crypto A (mostly) pure-Rust implementation of various common cryptographic algorithms. Rust-Crypto seeks to create practical, auditable, pure-Rus
1.2k Dec 27, 2022
A pure-Rust implementation of group operations on Ristretto and Curve25519
curve25519-dalek A pure-Rust implementation of group operations on Ristretto and Curve25519. curve25519-dalek is a library providing group operations
611 Dec 25, 2022
[INACTIVE] TLS 1.2 implementation in Rust
suruga is Rust implementation of TLS 1.2. It currently implements some core parts of TLS 1.2, NIST P-256 ECDHE and chacha20-poly1305. Usage extern cra
123 Dec 27, 2022
A prototype implementation of the Host Identity Protocol v2 for bare-metal systems, written in pure-rust.
Host Identity Protocol for bare-metal systems, using Rust I've been evaluating TLS replacements in constrained environments for a while now. Embedded
31 Dec 12, 2022
A pure-Rust implementation of various threshold secret sharing schemes
Threshold Secret Sharing Efficient pure-Rust library for secret sharing, offering efficient share generation and reconstruction for both traditional S
137 Dec 29, 2022
A Rust implementation of the Message Layer Security group messaging protocol
Molasses An extremely early implementation of the Message Layer Security group messaging protocol. This repo is based on draft 4 of the MLS protocol s
109 Dec 13, 2022
Pure Rust implementation of the RNCryptor cryptographic format by Rob Napier
rncryptor Rust Implementation of the RNCryptor spec This library implements the specification for the RNCryptor encrypted file format by Rob Napier. d
7 Jun 29, 2022
Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).
Multi-party ECDSA This project is a Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm). Threshold ECDSA include
![[ZenGo X]](https://avatars.githubusercontent.com/u/40664522?v=4&s=40)
706 Jan 5, 2023
Reference implementation for the Poseidon Snark-friendly Hash algorithm.
Dusk-Poseidon Reference implementation for the Poseidon Hashing algorithm. Reference Starkad and Poseidon: New Hash Functions for Zero Knowledge Proof
96 Jan 2, 2023
An implementation of Jakobsson's Fractal Hash Sequence Traversal algorithm
fractal-hash-traversal An implementation of Jakobsson's Fractal Hash Sequence Traversal algorithm. There is at least one hash traversal algorithm that
1 Jan 12, 2022
An implementation of the Gillespie algorithm.
gillrocky An implementation of the Gillespie algorithm in Rust. Example cargo build cargo run @todo See also Animated demo of algorithm References E
1 Apr 14, 2022
🚣♀️ <1kloc, well-documented Raft consensus algorithm implementation
miniraft A <1kloc, well-documented Raft consensus algorithm implementation This crate is a minimal implementation of the Raft consensus protocol with
25 Dec 1, 2022
An ECDSA threshold signature algorithm implemented in Rust.
Open TSS This project is a Rust implementation of multi-party {t,n}-threshold signature scheme(TSS). The current version of this library supports ECDS
64 Dec 17, 2022
A simple and secure rust command-line tool to protect your text by encrypting and decrypting it using the robust AES-256 algorithm.
Secret Keeper A simple and secure command-line tool to protect your text by encrypting and decrypting it using the robust AES-256 algorithm. Built wit
9 May 11, 2023
Project Masterpass is a deterministic databaseless key management algorithm, aimed to help those who cannot protect their encryption keys in storage
Project Masterpass (working title) Attention! This project is still under heavy development, and SHOULD NOT be used in practice, as the algorithms cou
2 Sep 11, 2022
IBC modules and relayer - Formal specifications and Rust implementation
ibc-rs Rust implementation of the Inter-Blockchain Communication (IBC) protocol. This project comprises primarily four crates: The ibc crate defines t
296 Dec 31, 2022
A Rust implementation of BIP-0039
bip39-rs A Rust implementation of BIP0039 Changes See the changelog file, or the Github releases for specific tags. Documentation Add bip39 to your Ca
49 Dec 9, 2022