Displaying 1 to 20 from 22 results

tcomb - Type checking and DDD for JavaScript

  •    Javascript

tcomb is a library for Node.js and the browser which allows you to check the types of JavaScript values at runtime with a simple and concise syntax. It's great for Domain Driven Design and for adding safety to your internal code.

latte - ☕ Latte: the intuitive and fast template engine for those who want the most secure PHP sites

  •    PHP

Latte is a template engine for PHP which eases your work and ensures the output is protected against vulnerabilities, such as XSS. Documentation can be found on the website.

Optional - A robust option type for C#

  •    CSharp

Optional is a robust option/maybe type for C#.The core concept behind Optional is derived from two common functional programming constructs, typically referred to as a maybe type and an either type (referred to as Option<T> and Option<T, TException> in Optional).

trash - macOS command line tool to move files to trash

  •    Swift

trash is command-line tool for macOS, written in Swift, that moves files to the current user's trash folder. trash is released under the terms of the MIT license.




cargo-safety - cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies

  •    Rust

This crate provides a subcommand for cargo that performs safety checks for Rust projects by finding all uses of unsafe code in dependencies. To do this reliably, the dependency tree is parsed by cargo, code is parsed into it's AST and then walked. Using Rust's wonderful pattern matching abilities we can quickly visit all places code can be unsafe. In coming to Rust, many people are drawn to it's promises of safety. I was curious to see how and why people were circumventing Rust's safety guarantees through the unsafe escape hatch. While I don't think we should reject any libraries that use unsafety, it is good to know where exactly things are unsafe so you can make an informed decision about the many libraries you may use.

check-types.js - A little JavaScript library for asserting types and values.

  •    Javascript

A little JavaScript library for asserting types and values. Writing explicit conditions in your functions to check arguments and throw exceptions is a task that swiftly becomes tiresome and adds complexity to your codebase.

forms - 📝 Generating, validating and processing secure forms in PHP

  •    PHP

Why should you bother setting up framework for a simple web form? You won't have to take care about routine tasks such as writing two validation scripts (client and server) and your code will be safe against security breaches. Nette Framework puts a great effort to be safe and since forms are the most common user input, Nette forms are as good as impenetrable. All is maintained dynamically and transparently, nothing has to be set manually. Well known vulnerabilities such as Cross Site Scripting (XSS) and Cross-Site Request Forgery (CSRF) are filtered, as well as special control characters. All inputs are checked for UTF-8 validity. Every multiple-choice, select box and similar are checked for forged values upon validating. Sounds good? Let's try it out.


safe-types - Type safe utils inspired from the Rust language for writing better TypeScript/Flow.

  •    TypeScript

Type safe utils inspired from the Rust language for writing better JavaScript. Written in typescript with support for flow definitions. This library started out as an experiment both to learn Rust concepts as well as to determine whether some of Rust's types can be mapped to TypeScript and improve the safety of TypeScript/JavaScript. It's my opinion that a library like this requires a 100% TypeScript environment to provide security of JS types. Without the TypeScript compiler and tooling, these primitives may make your data more opaque rather than provide insight and clarity into the many states application data can be in. Using an editor like vscode can bridge that gap somewhat since it provides built in intellisense via the typescript language server.

Stack - A Type-Safe, Thread-Safe-ish approach to CoreData in Swift

  •    Swift

CoreData is a powerful API, but its easily misused and misunderstood. Stack attempts to remove many of the issues associated with using CoreData in your applications. Specifically, Stack adds both type-safety and thread-safety (ish) methods for dealing with queries and updates.

reach - symbolic reachability checker

  •    Go

Reach is a symbolic finite state reachability checker. One could also say that Reach is a safety model checker. Reach is written in Go and requires Go to build/install from source. To install Go, please see the installation webpage.

Umbrella_content - Content Used In Umbrella App

  •    HTML

The most recent export (September 2018) is in a [Google Doc] (https://docs.google.com/document/d/1mG0Wyec5ULc_BDofKJvZRJW2qhqH-3aJqbtYVcmcl-w/edit?usp=sharing). Let us know if you need another format. Currently the only encoding in the app is .JSON files and the language is only English, but we hope this becomes a basis for translation to other languages.

react-validators - Enhanced React Shape PropType Validators

  •    Javascript

React provides several useful proptype validators in order to ensure data being passed into components as props match their expected type. One common pattern is to have data-driven domain/model objects (for example, a "User") be passed around to several different components that utilize this object in different ways. It's also common for servers to not always return the full object shape for performance reasons. This can lead to uncertainty about whether or not a given component has all of the data it needs.

sig-security - CNCF SIG Security

  •    

SIG-Security facilitates collaboration to discover and produce resources which enable secure access, policy control and safety for operators, administrators, developers, and end-users across the cloud native ecosystem. “Cloud Native” is open source cloud computing for applications — a complete trusted toolkit for modern architectures (CNCF presentation). There are multiple projects which address key parts of the problem of providing access controls and addressing safety concerns. Each of these adds value, yet for these technical solutions to be capable of working well together and manageable to operate they will need a minimal shared context of what defines a secure system architecture.

ad-rss-lib - Library implementing the Responsibility Sensitive Safety model (RSS) for Autonomous Vehicles

  •    C++

This library intends to provide a C++ implementation of the Responsibility Sensitive Safety model (RSS) for Autonomous Vehicles. RSS is described in the following papers. Potential users of this C++ library are encouraged to read these papers in order to become familiar with the concepts and functions provided by the library.

lmth - A "type-safe" HTML DSL for JavaScript environments.

  •    Javascript

Also, there's no build or compile step for the browser: just drop in lmth.min.js, and start using it immediately. lmth supports most, if not all available HTML5 elements[*][1]. lmth can be considered a spiritual successor to pithy, and a cousin of sorts to hyperscript.

kirby-sri - Subresource integrity hashing & cache-busting static assets for Kirby

  •    PHP

This plugin generates base64-encoded cryptographic hashes for your css / js files based on their content and adds them to the integrity attribute of their corresponding <link> or <script> elements. It also applies cache-busting / fingerprinting. Enter kirby-sri: Kirby-side generated SRI hashes for safer CDN usage. Read more about CDN integration and Kirby in the docs) or over at Kirby's partner KeyCDN to get started.