-
-
-
webappsec-permissions-policy Public
Forked from w3c/webappsec-permissions-policyA mechanism to selectively enable and disable browser features and APIs
Bikeshed Other UpdatedFeb 17, 2025 -
shared-autofill Public
Allows Autofill to fill into a cross-origin iframe.
-
-
PipelineDP Public
Forked from OpenMined/PipelineDPPipelineDP is a Python framework for applying differentially private aggregations to large datasets using batch processing systems such as Apache Spark, Apache Beam, and more.
Python Apache License 2.0 UpdatedSep 22, 2023 -
-
webappsec-csp Public
Forked from w3c/webappsec-cspWebAppSec Content Security Policy
HTML Other UpdatedApr 27, 2023 -
golog Public
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
-
limbo Public
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
-
sat Public
SAT solver for education
-
-
regexp Public
A regular expression library for Ada with support for intersection, union, etc.
-
db6 Public
A column-oriented database management system, written in Ada
-
pdfpc Public
Forked from pdfpc/pdfpcA presenter console with multi-monitor support for PDF files.
-
-
prgolog-old Public
Plan recognition system based on the situation calculus and Golog written in Mercury.
{{ message }}