The STAPL policy language for tree-structured, attribute-based access control policies
☆29Sep 2, 2016Updated 9 years ago
Alternatives and similar repositories for stapl-core
Users that are interested in stapl-core are comparing it to the libraries listed below
Sorting:
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 years ago
- Service discovery for Finagle cluster with Consul.☆10Sep 27, 2018Updated 7 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- A path to Recursion Schemes☆10Apr 20, 2020Updated 5 years ago
- Reduce memory usage by running multiple applications in the same JVM.☆13Jul 11, 2019Updated 6 years ago
- Protobuf support for Finagle☆14Nov 7, 2022Updated 3 years ago
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆17Dec 27, 2023Updated 2 years ago
- Diviner is a serverless machine learning and hyper parameter tuning platform☆23Oct 28, 2019Updated 6 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- Poseidon hash implementation in Rust☆27Jan 22, 2026Updated last month
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Feb 6, 2020Updated 6 years ago
- 382 Slayer Leecher Keywords.☆10Apr 19, 2021Updated 4 years ago
- Scala case class builder design pattern using Miles Sabin's shapeless library☆23Dec 29, 2020Updated 5 years ago
- A Modern Finagle-Postgresql Client☆55Nov 16, 2018Updated 7 years ago
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- Webpack loader for Scala.js☆25Dec 30, 2022Updated 3 years ago
- Data-ish exploration through SQL+Uncertainty☆27Oct 31, 2022Updated 3 years ago
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 6 years ago
- A sample of how Apache Geode can be used a low latency, horizontally scalable data source☆28Sep 15, 2015Updated 10 years ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37Feb 20, 2026Updated last week
- Katacoda Scenarios for Envoy Proxy☆29May 20, 2023Updated 2 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Oct 3, 2020Updated 5 years ago
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Mar 20, 2020Updated 5 years ago
- A mesos plugin for Relay that lets you auto-scale the number of currently running instances of a bash command☆38May 16, 2021Updated 4 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39May 2, 2019Updated 6 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- ☆11Apr 28, 2023Updated 2 years ago
- Python library & CLI to create, view and edit PFB files☆12Feb 19, 2026Updated last week
- SCIM 2.0 JAVA development kit☆17May 2, 2025Updated 10 months ago
- Simple Parser Combinators in Go☆15Nov 5, 2018Updated 7 years ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- A collection of Apache Parquet add-on modules☆30Updated this week
- OAuth2 Server-Side Provider for Finagle☆86Jul 29, 2024Updated last year
- An implementation of the so-called Semantic Data Lake, using Apache Spark and Presto.☆34Jul 15, 2022Updated 3 years ago
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Mar 18, 2025Updated 11 months ago
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated 6 months ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Implements a simple "Wasp in the Box" algorithm for SmartThings☆11Feb 10, 2015Updated 11 years ago
- Sangria akka-streams integration☆11Feb 8, 2026Updated 3 weeks ago