Alternatives and similar repositories for dolev-yao-star

Users that are interested in dolev-yao-star are comparing it to the libraries listed below

• dtanzer / react-graalvm-springboot

  View on GitHub
  ☆22Feb 5, 2026Updated last week
• Parseval-Labs / SoundML

  View on GitHub
  A high level DSP library in the OCaml language
  ☆27Sep 17, 2025Updated 4 months ago
• riot-ml / scarab

  View on GitHub
  Benchmarking framework for OCaml
  ☆25Jan 1, 2024Updated 2 years ago
• sailpoint-oss / openid-sse-model

  View on GitHub
  OpenID Shared Signals and Events (SSE) / Continuous Access Evaluation Protocol (CAEP) / Risk Incident Sharing and Coordination (RISC) JSO…
  ☆14Jun 7, 2024Updated last year
• LaurentMazare / ocaml-xla

  View on GitHub
  XLA (Accelerated Linear Algebra) bindings for OCaml
  ☆35Jun 1, 2025Updated 8 months ago
• lukstafi / ppx_minidebug

  View on GitHub
  Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…
  ☆31Feb 4, 2026Updated last week
• italia / spid-cie-oidc-django

  View on GitHub
  The SPID/CIE OIDC Federation SDK, written in Python
  ☆37Feb 2, 2026Updated last week
• curlpipe / synchron

  View on GitHub
  A minimal terminal music player
  ☆11Feb 19, 2022Updated 3 years ago
• Spliterash / keycloak-telegram-identity-provider

  View on GitHub
  Telegram Widget Authenticator For Keycloak
  ☆13Dec 20, 2025Updated last month
• Keymate-io / keymate-migrator

  View on GitHub
  Reliable Keycloak user migration at scale. Features include bounded concurrency, durable retries, and zero data loss.
  ☆30Jan 13, 2026Updated last month
• akvo / akvo-provisioning

  View on GitHub
  Server and development environment provisioning data and configurations
  ☆10Jun 25, 2018Updated 7 years ago
• justinsb / google-sparsehash

  View on GitHub
  Clone of google-sparsehash
  ☆17Sep 3, 2011Updated 14 years ago
• samueleresca / what-every-programmer-should-know-about-memory

  View on GitHub
  Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"
  ☆13Aug 24, 2023Updated 2 years ago
• jlloh / full-stack-rust

  View on GitHub
  Example full stack rust project using Sycamore for wasm and actix for backend, implementing BFF and OIDC for authentication.
  ☆11Feb 4, 2023Updated 3 years ago
• univention / nubus-stack

  View on GitHub
  The repository contains tooling to setup the container based stack.
  ☆15Feb 8, 2026Updated last week
• joshlong-attic / bootiful-reactive-microservices-config

  View on GitHub
  ☆11Aug 20, 2018Updated 7 years ago
• untoldwind / oauth-proxy-rs

  View on GitHub
  Another reverse proxy that provides authentication with OpenID Connect
  ☆10Jul 10, 2023Updated 2 years ago
• veracruz-project / icecap

  View on GitHub
  Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap
  ☆19Jan 22, 2024Updated 2 years ago
• 0x3c3e / apple-ctf-writeups

  View on GitHub
  A collection of Apple-related CTF writeups
  ☆15Jan 17, 2022Updated 4 years ago
• NicolasLopes7 / personal-notification-system

  View on GitHub
  Notification system, that schedules alarms on redis and send to all consumers.
  ☆13Jan 24, 2022Updated 4 years ago
• innoq / roca-airways

  View on GitHub
  The ROCA Airways online check-in is a simple demo application demonstrating the benefits of progressive enhancement for both end users an…
  ☆10Feb 25, 2015Updated 10 years ago
• fizaan / faypixelengine

  View on GitHub
  A Java Swing based game engine
  ☆11Feb 12, 2022Updated 4 years ago
• nedwill / ctr-elf

  View on GitHub
  Converts a 3DS program's EXEFS to an (IDA-loadable) ELF
  ☆12Apr 13, 2017Updated 8 years ago
• pragmaticminds / crunch

  View on GitHub
  Industrial data evaluation engine
  ☆13May 21, 2021Updated 4 years ago
• NYDIG / bitcoin-task-bounty

  View on GitHub
  Spurring & cultivating Bitcoin development
  ☆11May 22, 2023Updated 2 years ago
• KotatsuApp / subsampling-scale-image-view

  View on GitHub
  Android library (AAR). Highly configurable, easily extendable deep zoom view for displaying huge images without loss of detail. Perfect f…
  ☆13Aug 5, 2025Updated 6 months ago
• leviroth / ocaml-reddit-api

  View on GitHub
  An OCaml wrapper to Reddit's API
  ☆13Oct 5, 2025Updated 4 months ago
• DraqueT / Module-Info-Inject

  View on GitHub
  This injects custom module-info.class into non-modular java libraries, allowing them to be used with jlink
  ☆11Aug 14, 2020Updated 5 years ago
• gavioto / portecle

  View on GitHub
  Clone of git://git.code.sf.net/p/portecle/code
  ☆12Feb 9, 2016Updated 10 years ago
• shaneikennedy / amp.el

  View on GitHub
  Vibe coding in emacs with amp
  ☆19Jun 15, 2025Updated 8 months ago
• bmuschko / jenkins-with-kubernetes

  View on GitHub
  Step by step instructions on how to use the Jenkins Kubernetes plugin for different use cases.
  ☆11Aug 9, 2019Updated 6 years ago
• alexander-akhmetov / mos

  View on GitHub
  small operating system
  ☆11Apr 30, 2021Updated 4 years ago
• secure-software-engineering / upcy

  View on GitHub
  UpCy automatically finds compatible updates for Maven dependencies.
  ☆12Updated this week
• instana / envoy-tracing

  View on GitHub
  Deprecated demo of Instana's tracing for Envoy Proxy (1.15..1.29) based on OpenTracing
  ☆10Jul 24, 2025Updated 6 months ago
• aerogo / graphql

  View on GitHub
  GraphQL server with zero configuration.
  ☆12Oct 26, 2019Updated 6 years ago
• davidtos / LIO_old

  View on GitHub
  This project is part of my talk about Project Panama. The goal is to show how you can call (almost) any C library using Java
  ☆14Mar 27, 2025Updated 10 months ago
• openstandia / keycloak-grpc

  View on GitHub
  Keycloak gRPC extension
  ☆12Mar 2, 2023Updated 2 years ago
• biantris / restris

  View on GitHub
  ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.
  ☆11Mar 21, 2025Updated 10 months ago
• studersi / apache-rs

  View on GitHub
  Rust FFI for creating Apache httpd modules.
  ☆12Apr 14, 2024Updated last year