dapithor
Follow
Lists (1)
Starred repositories
A modular graph-based Retrieval-Augmented Generation (RAG) system
Pongo - Mongo but on Postgres and with strong consistency benefits
All your services in one place, built by the community
Lean 4 programming language and theorem prover
Python toolkit for quantitative finance
"IoT Made Easy!" - PIC32MZW1 Matter example project is added to the code which fork from Matter's repo
A policy management tool for interacting with Gatekeeper
Lint your Rego policies inside of Visual Studio Code
Cloud-native authorization for modern applications and APIs
Policy and data administration, distribution, and real-time updates on top of Policy Agents (OPA, Cedar, ...)
Regal is a linter for Rego, with the goal of making your Rego magnificent!
Tool and policy library for reviewing Google Kubernetes Engine clusters against best practices
A curated list of OPA related tools, frameworks and articles
Quasar Framework - Build high-performance VueJS user interfaces in record time
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
A Decentralized Operating System for ZK Applications
Types for CloudEvents issued by Google
Omnivore is a complete, open source read-it-later solution for people who like reading.
freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.
brpc is an Industrial-grade RPC framework using C++ Language, which is often used in high performance system such as Search, Storage, Machine learning, Advertisement, Recommendation etc. "brpc" mea…
Multilingual and Controllable Text-to-Speech Toolkit of the Speech and Language Technologies Group at the University of Stuttgart.
