OpenSSL bindings for lean (unfinished)

Build with nix build . or nix develop --command lake build.

The bindings are mostly imperative and low level. See the OpenSSL manpages for more details.

Dev env

Load dependencies and env variables into your shell.

Automatically

direnv activate

or manually

nix develop

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
native		native
src		src
test		test
.envrc		.envrc
.gdbinit		.gdbinit
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
flake.lock		flake.lock
flake.nix		flake.nix
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain