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

• krl / ipfs-crdts

  View on GitHub
  crdts on ipfs
  ☆11Dec 2, 2015Updated 10 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
• vindaloo-thesis / idris-se

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

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

  View on GitHub
  The Ensemble distributed communications toolkit
  ☆13Jul 26, 2020Updated 5 years ago
• mcsherrylabs / sss.openstar

  View on GitHub
  A Scala Based Decentralised Ledger (Blockchain)
  ☆12Aug 26, 2022Updated 3 years ago
• kayceesrk / irmin-datatypes

  View on GitHub
  A collection of functional, mergeable datatypes for Irmin
  ☆12Dec 25, 2016Updated 9 years ago
• janestreet-deprecated / ppx_driver

  View on GitHub
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆14Mar 29, 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
• OpenJournal / central

  View on GitHub
  Universalizing Open-Access Journals & Papers
  ☆19Mar 8, 2017Updated 9 years ago
• Neuromancer42 / ministgwasm

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

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

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

  View on GitHub
  ☆14Dec 9, 2022Updated 3 years ago
• jacquev6 / hashids-ocaml

  View on GitHub
  OCaml implementation of http://hashids.org
  ☆12Nov 17, 2018Updated 7 years ago
• let-def / distwit

  View on GitHub
  Distribute/marshal instances of ocaml extensible variant types and exceptions
  ☆16Nov 26, 2016Updated 9 years ago
• frex-project / metaocaml-frex

  View on GitHub
  ☆24May 16, 2025Updated 10 months ago
• mirage / mirage-http

  View on GitHub
  HTTP combinators for MirageOS
  ☆11Oct 11, 2019Updated 6 years ago
• ISANobody / sill

  View on GitHub
  ☆29Sep 14, 2015Updated 10 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
• 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
• mirage / irmin-watcher

  View on GitHub
  Portable implementation of the Irmin Watch API
  ☆14Feb 10, 2026Updated last month
• imandra-ai / contracts

  View on GitHub
  Imandra Contracts - Formal verification of smart contracts
  ☆32Nov 1, 2016Updated 9 years ago
• LexiFi / grep_cmt

  View on GitHub
  ☆24Oct 8, 2024Updated last year
• cuplv / raz.ocaml

  View on GitHub
  Random Access Zipper in OCaml
  ☆14Dec 8, 2016Updated 9 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
• DianaPajon / tiger

  View on GitHub
  A Haskell implementation of the tiger compiler
  ☆10May 2, 2020Updated 5 years ago
• ujamjar / hardcaml-examples

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• libp2p / xtp

  View on GitHub
  XTP - eXternal Transports Protocol
  ☆34May 1, 2025Updated 10 months ago
• mirage / qubes-mirage-skeleton

  View on GitHub
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Nov 25, 2020Updated 5 years ago
• avsm / mirage-from-basics

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

  View on GitHub
  double-to-ascii ocaml implementation
  ☆12Feb 25, 2023Updated 3 years ago
• avsm / mirage-ci

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

  View on GitHub
  Trivial/Tagless Polytypic Functions
  ☆23Apr 14, 2020Updated 5 years ago
• oklm-wsh / Callipyge

  View on GitHub
  Curve25519 in OCaml.
  ☆16Sep 4, 2018Updated 7 years ago
• keigoi / session-ocaml

  View on GitHub
  An implementation of binary session types in OCaml
  ☆38Jun 3, 2019Updated 6 years ago
• StrykerKKD / SandDB

  View on GitHub
  A simple immutable database for the masses.
  ☆21Mar 23, 2022Updated 3 years ago
• mirleft / tlstools

  View on GitHub
  some TLS utilities
  ☆17Mar 4, 2016Updated 10 years ago