The STAPL policy language for tree-structured, attribute-based access control policies
☆29Sep 2, 2016Updated 10 years ago
Alternatives and similar repositories for stapl-core
Users that are interested in stapl-core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- A simple toy project for playing around with some implicit resolution tricks☆12May 6, 2021Updated 5 years ago
- Serializes RDF from a SPARQL endpoint to JSON-LD documents☆10Sep 11, 2018Updated 8 years ago
- A path to Recursion Schemes☆10Apr 20, 2020Updated 6 years ago
- Deserialization support for Scala case classes, including proper handling of default values.☆11Apr 5, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This library enables to use ZooKeeper as cluster coordinator in a ConstructR based cluster☆12Dec 2, 2017Updated 8 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated 2 years ago
- A ZooKeeper client library in Scala.☆21Apr 17, 2013Updated 13 years ago
- JupyterLab Notebook for Mesosphere DC/OS☆11Aug 6, 2019Updated 7 years ago
- ☆20Nov 9, 2019Updated 6 years ago
- Read-only primitive Java arrays backed by Direct Buffers and indexed using 64-bit indexes☆14Jun 8, 2017Updated 9 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
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Modern Finagle-Postgresql Client☆55Nov 16, 2018Updated 7 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 5 years ago
- Mesos container logger module for logging to processes, backported from MESOS-6003☆13Mar 10, 2020Updated 6 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Feb 6, 2020Updated 6 years ago
- Scala case class builder design pattern using Miles Sabin's shapeless library☆23Dec 29, 2020Updated 5 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆34Oct 3, 2020Updated 5 years ago
- Xen-style shared memory rings☆20Mar 6, 2025Updated last year
- A type class for data of all sizes.☆15Jul 9, 2019Updated 7 years ago
- Utilities for building distributed systems on top of mesos☆23Aug 25, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- extension for rendering velocity templates for stubbed responses.☆11Nov 11, 2019Updated 6 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- A demo for ContainerCamp☆13Nov 8, 2014Updated 11 years ago
- Webpack loader for Scala.js☆25Dec 30, 2022Updated 3 years ago
- Queue for Go implemented as ring buffer☆18Aug 27, 2016Updated 10 years ago
- A collection of Apache Parquet add-on modules☆31Updated this week
- Reusable library for creating and verifying zero-knowledge range proofs and set membership proofs.☆21Mar 7, 2023Updated 3 years ago
- DEPRECATED Marathon deployment automation tool☆42Jun 11, 2019Updated 7 years ago
- Poseidon hash implementation in Rust☆26Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- Toolbox to create scalacheck tests for Swagger APIs☆18May 28, 2019Updated 7 years ago
- Benchmarking Bloom, Cuckoo, Morton, and PD based filter.☆15Mar 19, 2022Updated 4 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- ScalaIO Talk 2014 code sample☆19Oct 24, 2014Updated 11 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago