Search Results for "csp"
Sort By:
Showing 50 open source projects for "csp"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
La version gratuite d'Auth0 s'enrichit !Vous l'avez demandé, nous l'avons fait ! Les versions gratuite et payante d'Auth0 incluent des options qui vous permettent de développer, déployer et faire évoluer vos applications en toute sécurité. Utilisez Auth0 dès maintenant pour découvrir tous ses avantages.
-
1
Laravel CSP
Set content security policy headers in a Laravel app
By default, all scripts on a webpage are allowed to send and fetch data to any site they want. This can be a security problem. Imagine one of your JavaScript dependencies sends all keystrokes, including passwords, to a third party website. It's very easy for someone to hide this malicious behaviour, making it nearly impossible for you to detect it (unless you manually read all the JavaScript code on your site). For a better idea of why you really need to set content security policy headers,... -
2
EasyCSP
Constraint Satisfaction Problem solving library for Java
EasyCSP is an open-source Java library for Constraint Satisfaction Programming. EasyCSP offers search algorithms for both CSPs and CSOPs. EasyCSP supports CSPs to be formalized using objects or int expressions. EasyCSP on GitHub: http://github.com/cordisvictor/easycsp-lib -
3
core.async
Facilities for async programming and communication in Clojure
core.async is a Clojure library that brings asynchronous programming and communication to both Clojure and ClojureScript, enabling developers to write concurrent code using channels, go blocks, and CSP-style constructs rather than callbacks or threads. This project follows the version scheme MAJOR.MINOR.COMMITS where MAJOR and MINOR provide some relative indication of the size of the change, but do not follow semantic versioning. In general, all changes endeavor to be non-breaking (by moving... -
4
CosmoScout VR
Virtual universe which lets you explore & analyze planetary datasets
... to get started. Completely written in JavaScript with help of the Chromium Embedded Framework. Physically-based rendering of 3D satellites (with csp-satellites). Rendering of highly detailed level-of-detail planets based on WebMapServices (with csp-lod-bodies). Rendering of configurable atmospheres (Mie- and Rayleigh-scattering) around planets (with csp-atmospheres). -
Unimus makes Network Automation and Configuration Management easy.We aim to make automation, disaster recovery, change management and configuration auditing painless and affordable for a network of any size.
-
5
SystemJS
Dynamic ES module loader
SystemJS is a hookable, standards-based module loader. It provides a workflow where code written for production workflows of native ES modules in browsers (like Rollup code-splitting builds), can be transpiled to the System.register module format to work in older browsers that don't support native modules, running almost-native module speeds while supporting top-level await, dynamic import, circular references and live bindings, import.meta.url, module types, import maps, integrity and... -
6
csp programme book
CSP- letter/memo records
-
7
MMClassification
OpenMMLab Image Classification Toolbox and Benchmark
MMClassification is an open-source image classification toolbox based on PyTorch. It is a part of the OpenMMLab project. Supports DenseNet, VAN and PoolFormer, and provide pre-trained models. Supports training on IPU. Supports a series of CSP networks, such as CSP-ResNet, CSP-ResNeXt and CSP-DarkNet. MMClassification is an open source project that is contributed by researchers and engineers from various colleges and companies. We appreciate all the contributors who implement their methods... -
8
SObjectizer
It's all about in-process message dispatching!
NOTE! This is an old home for SObjectizer and so5extra. Since Aug 2019 the development of SObjectizer and so5extra is moved to GitHub: https://github.com/Stiffstream/sobjectizer https://github.com/Stiffstream/so5extra SObjectizer is an in-process message dispatching framework with implementation of Actor Model, Publish-Subscribe Model and CSP-like channels. SObjectizer allows the creation of a concurrent app as a set of agent-objects which interact with each other through asynchronous... -
9
Spindle
The language used in the AP CSP Exam, now a programming language!
Spindle is a simple language designed to help AP CSP students ace their AP Exam. Spindle code largely mirrors the code found in the AP CSP Reference Sheet and allows students and teachers to get comfortable with code in the same format it'll have on exam day. -
Deliver trusted data with dbtData teams use dbt to codify business logic and make it accessible to the entire organization—for use in reporting, ML modeling, and operational workflows.
-
10
uweb browser: unlimited power
minimal suckless android web browser with unlimited power
- AI bot as search engine; append file content as input for complex query. - Powerful: html5 enhancement; any urls to host a website; javascript and shell scripting for general processing; and more with Termux. - Customizable: user-defined menus, (new) buttons and gestures for user agents, bookmarklets, url services, shell commands, internal functionality links and text processing etc. - Convenient: book/dictionary/txt/command line/app can be search engine. - Tiny: less than 200k -... -
11
Digna Web Scanner
A tool to check web apps for vulnerabilty
... vulnerabilities that could allow attackers to trick users into performing unintended actions on a website. Insecure Direct Object References (IDOR): Scans for vulnerabilities that might enable attackers to access unauthorized data by manipulating direct object references. Open Ports: Detects open ports on the target web server to understand its potential attack surface. Content Security Policy (CSP): Checks if the website has a properly configured CSP to mitigate XSS and other injection RCE -
12
Darknet YOLO
Real-Time Object Detection for Windows and Linux
This is YOLO-v3 and v2 for Windows and Linux. YOLO (You only look once) is a state-of-the-art, real-time object detection system of Darknet, an open source neural network framework in C. YOLO is extremely fast and accurate. It uses a single neural network to divide a full image into regions, and then predicts bounding boxes and probabilities for each region. This project is a fork of the original Darknet project. -
13
-
14
Go Safe Web
Secure-by-default HTTP servers in Go
go-safeweb is a security-focused HTTP framework for Go that bakes in secure defaults so common web vulnerabilities are harder to introduce. Instead of leaving headers and policies to ad-hoc middleware, it sets Content Security Policy, X-Frame-Options, and other protections by default, and centralizes template escaping rules. Request handling emphasizes principled APIs for parsing and validating input, reducing the risk of injection and deserialization bugs. The framework’s routing and... -
15
Venice
Coroutines, structured concurrency and CSP for Swift on Mac and Linux
Coroutines, structured concurrency, and CSP for Swift on macOS and Linux. You can use Venice in multi-threaded programs. However, individual threads are strictly separated. You may think of each thread as a separate process. In particular, a coroutine created in a thread will be executed in that same thread, and it will never migrate to a different one. -
16
This is a MATLAB model of an end-to-end chain compliant to the DVB-T2 standard (ETSI EN 302 755 available from www.etsi.org). It was originally developed within the DVB consortium (www.dvb.org) by AICIA, BBC, Pace, Panasonic and SIDSA.
-
17
Adaptive Search
Adaptive Search is a constraint-based Local Search method.
Adaptive Search is a generic, domain-independent constraint-based Local Search method. This metaheuristic takes advantage of the structure of the problem in terms of constraints and variables in order to guide the search. The input of the method is a CSP, defined as a triple (X;D;C), where X is a set of variables, D is a set of domains (i.e., finite sets of possible values for each variable), and C a set of constraints restricting the values that the variables can... -
18
QR-CERT. Free PKI Certificate Authority
PKI & Card Management System to issue and manage tokens & certificates
The QR-CERT software is a specialized package of applications dedicated for the development of a Public Key Infrastructure system as well as the cards personalization and management system. The software contains a number of functional modules, enabling a flexible selection of functionalities for implementation. The software is dedicated for large organizations and corporate environments, with a PKI infrastructure and microprocessor cards. The QR-CERT is a solution both for the companies... -
19
CSP
Constraint Satisfaction Problems solver
Solver solutions for constraint satisfaction problems (CSP): - CSP solver - CSP-based scheduler - CSP-based project management engine - CSP-based project management editor -
20
CSP embedded C-like scripting language
C-like language parser, bytecode generator and a VM
Project aims to implement a C-like language interpreter with small code and memory footprint for 32bit microcontrollers. At the time of writing, parser code size for Cortex-M3 is less than 10K and VM is less than 3K. RAM requirements mostly depend on code size and complexity, but few kilobytes should be enough to handle most reasonably simple cases. Parser and VM are written with code size priority, not security. Project should not be used to run code (and bytecode) from untrusted sources. -
21
-
22
EasyCP
The easiest C++ way to deal with constraints !
EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power. Just model and let the CSP (Constraint Satisfaction Problem) solver do the job ! -
23
CSPFJ or CSP4J is an simple, hopefully fast CSP solver API written in Java featuring state-of-art search algorithms
-
24
Concurrency Workbench NC
Automatic verification of concurrent software systems
The Concurrency Workbench of the New Century (CWB-NC) provides support for the automated verification of concurrent software systems. The tool allows the user to write a description of the system at hand in one of several design languages (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). Furthermore it supports a variety of automated verification and analysis techniques to check whether the system adheres to its specifications. Among the verification and analysis techniques are: - Behavioral-Relation... -
25
The Combat Simulator Project is an open source project started by flight sim enthusiasts eager for a serious hardcore combat simulator.