amiller/lambda-auth external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

amiller/lambda-auth

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/amiller/lambda-auth)

Close

amiller / lambda-authView on GitHubMore

• External links
• Readme badge

authenticated data structures, generically

☆54Oct 22, 2016Updated 9 years ago

Alternatives and similar repositories for lambda-auth

Users that are interested in lambda-auth are comparing it to the libraries listed below

• vindaloo-thesis / idris-se

  View on GitHub
  Idris to Serpent back end for Ethereum smart contracts
  ☆31Sep 14, 2017Updated 8 years ago
• voodoos / mlts

  View on GitHub
  ☆12Dec 9, 2022Updated 3 years ago
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years ago
• kayceesrk / irmin-datatypes

  View on GitHub
  A collection of functional, mergeable datatypes for Irmin
  ☆12Dec 25, 2016Updated 9 years ago
• chetmurthy / ensemble

  View on GitHub
  The Ensemble distributed communications toolkit
  ☆13Jul 26, 2020Updated 5 years ago
• janestreet-deprecated / ppx_driver

  View on GitHub
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆14Mar 29, 2018Updated 7 years ago
• mirage / mirage-http

  View on GitHub
  HTTP combinators for MirageOS
  ☆11Oct 11, 2019Updated 6 years ago
• AltGr / opam-ed

  View on GitHub
  A small command-line tool to help with mechanical edition of opam files
  ☆10Aug 15, 2023Updated 2 years ago
• jacquev6 / hashids-ocaml

  View on GitHub
  OCaml implementation of http://hashids.org
  ☆12Nov 17, 2018Updated 7 years ago
• hannesm / tlsclient

  View on GitHub
  TLS client program
  ☆11Jun 10, 2020Updated 5 years ago
• hannesm / ocaml-hkdf

  View on GitHub
  HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)
  ☆12Sep 4, 2024Updated last year
• abeaumont / ocaml-scrypt-kdf

  View on GitHub
  Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04
  ☆17Aug 5, 2021Updated 4 years ago
• Neuromancer42 / ministgwasm

  View on GitHub
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Jun 13, 2017Updated 8 years ago
• frex-project / metaocaml-frex

  View on GitHub
  ☆24May 16, 2025Updated 9 months ago
• ISANobody / sill

  View on GitHub
  ☆29Sep 14, 2015Updated 10 years ago
• let-def / distwit

  View on GitHub
  Distribute/marshal instances of ocaml extensible variant types and exceptions
  ☆16Nov 26, 2016Updated 9 years ago
• cuplv / raz.ocaml

  View on GitHub
  Random Access Zipper in OCaml
  ☆14Dec 8, 2016Updated 9 years ago
• mirage / mirage-solo5

  View on GitHub
  Solo5 core platform libraries for MirageOS
  ☆19Oct 2, 2025Updated 4 months ago
• mirage / irmin-watcher

  View on GitHub
  Portable implementation of the Irmin Watch API
  ☆14Feb 10, 2026Updated 2 weeks ago
• arjunguha / ocaml-z3

  View on GitHub
  ☆16Feb 20, 2019Updated 7 years ago
• oklm-wsh / Callipyge

  View on GitHub
  Curve25519 in OCaml.
  ☆16Sep 4, 2018Updated 7 years ago
• conal / shady-gen

  View on GitHub
  Functional GPU programming - DSEL & compiler
  ☆22Sep 9, 2016Updated 9 years ago
• hazelgrove / HZ

  View on GitHub
  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
  ☆30Sep 4, 2017Updated 8 years ago
• phink / changeset

  View on GitHub
  (unreleased) Data validation with first-class and first-order labels in OCaml
  ☆30Jun 29, 2018Updated 7 years ago
• xavierleroy / spamoracle

  View on GitHub
  E-mail filter and classifier based on Bayesian learning
  ☆16Jan 4, 2022Updated 4 years ago
• ujamjar / hardcaml-examples

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• avsm / mirage-ci

  View on GitHub
  Continuous Integration for MirageOS using DataKit's git workflow
  ☆20Oct 19, 2020Updated 5 years ago
• LouisJenkinsCS / LLVM-JVM

  View on GitHub
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Aug 23, 2021Updated 4 years ago
• mirleft / tlstools

  View on GitHub
  some TLS utilities
  ☆17Mar 4, 2016Updated 9 years ago
• ocaml-opam / Camelus

  View on GitHub
  Bot posting reports on opam-repository pull-request using a web hook
  ☆17Apr 1, 2020Updated 5 years ago
• keigoi / session-ocaml

  View on GitHub
  An implementation of binary session types in OCaml
  ☆38Jun 3, 2019Updated 6 years ago
• avsm / mirage-from-basics

  View on GitHub
  Another way to describe mirage
  ☆19Jul 8, 2019Updated 6 years ago
• jeffa5 / ocaml-grpc

  View on GitHub
  Moved to https://git.jeffas.net
  ☆26Mar 13, 2022Updated 3 years ago
• HaxeFoundation / ocamllibs

  View on GitHub
  Various OCaml Libraries
  ☆24Jun 18, 2019Updated 6 years ago
• GaloisInc / lean-haskell-bindings

  View on GitHub
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆22Aug 25, 2017Updated 8 years ago
• abeaumont / ocaml-pbkdf

  View on GitHub
  Password based key derivation functions from PKCS#5, RFC 2898
  ☆21Jul 15, 2024Updated last year
• rlepigre / subml

  View on GitHub
  SubML (prototype) language
  ☆22Mar 20, 2022Updated 3 years ago
• pqwy / tpf

  View on GitHub
  Trivial/Tagless Polytypic Functions
  ☆23Apr 14, 2020Updated 5 years ago