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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple toy project for playing around with some implicit resolution tricks☆12May 6, 2021Updated 4 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 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
- 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.
- Serializes RDF from a SPARQL endpoint to JSON-LD documents☆10Sep 11, 2018Updated 7 years ago
- ☆20Nov 9, 2019Updated 6 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- A ZooKeeper client library in Scala.☆21Apr 17, 2013Updated 12 years ago
- This library enables to use ZooKeeper as cluster coordinator in a ConstructR based cluster☆12Dec 2, 2017Updated 8 years ago
- Scala Runners: a Coursier-based alternative implementation☆43Jan 18, 2022Updated 4 years ago
- JupyterLab Notebook for Mesosphere DC/OS☆11Aug 6, 2019Updated 6 years ago
- Read-only primitive Java arrays backed by Direct Buffers and indexed using 64-bit indexes☆13Jun 8, 2017Updated 8 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Feb 6, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆17Dec 27, 2023Updated 2 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
- A Modern Finagle-Postgresql Client☆55Nov 16, 2018Updated 7 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
- Mesos container logger module for logging to processes, backported from MESOS-6003☆13Mar 10, 2020Updated 6 years ago
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 6 years ago
- Webpack loader for Scala.js☆25Dec 30, 2022Updated 3 years ago
- extension for rendering velocity templates for stubbed responses.☆11Nov 11, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A git repostiory for java.sizeOf☆45Mar 10, 2022Updated 4 years ago
- A type class for data of all sizes.☆15Jul 9, 2019Updated 6 years ago
- ScalaIO Talk 2014 code sample☆19Oct 24, 2014Updated 11 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Fixed-width data source for Spark SQL and DataFrames☆10Oct 25, 2016Updated 9 years ago
- Thyme is a microbenchmark utility for Scala. It includes Parsley, a (simple) local profiling tool.☆169Nov 7, 2016Updated 9 years ago
- Queue for Go implemented as ring buffer☆18Aug 27, 2016Updated 9 years ago
- A collection of Apache Parquet add-on modules☆30Apr 7, 2026Updated last week
- A demo for ContainerCamp☆13Nov 8, 2014Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Poseidon hash implementation in Rust☆27Jan 22, 2026Updated 2 months ago
- DEPRECATED Marathon deployment automation tool☆42Jun 11, 2019Updated 6 years ago
- Parser combinator library in Scala☆20Aug 29, 2019Updated 6 years ago
- Utility to generate custom logs from many Git repos for piping to a Gource visualization☆21Feb 7, 2015Updated 11 years ago
- An implementation of the so-called Semantic Data Lake, using Apache Spark and Presto.☆34Jul 15, 2022Updated 3 years ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37Apr 8, 2026Updated last week
- https://d2a4u.github.io/meteor/☆22Aug 15, 2024Updated last year