JDziurlaj
Follow
Stars
GML Application Schema toolbox is a QGIS plugin allowing to manipulate OGC Complex Features
Utilities and experiments with iXML (Invisible XML)
Open source XSLT for OSCAL display and processing
OSCAL (Open Security Controls Assessment Language) on an XProc3 platform
Fore - declarative user interfaces in plain HTML
Library and tools to access to optical disc (split) RAW image files (bin/cue, iso/cue)
This specification defines the Common Model Format (CMF), a data model that can be expressed as XML, JSON or any other serialization that NIEM supports.
This is an Add-In for Enterprise Architect based on ShapeChange by Interactive Instruments.
CURRENTLY EXPERIMENTAL Rust implementation of the ElectionGuard system
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
XML metadata for NIST Technical Series Publications
HACL*, a formally verified cryptographic library written in F*
SPARK 2014 re-implementation of the TweetNaCl crypto library
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
Model Based Systems Engineering productivity tool to automatically create and manage changes in Cameo MagicDraw models utilizing user-defined modeling patterns.
Tool for connecting programs or libraries written in Rust with other languages
Text mode window environment. A "retro" program for embedded or remote systems, that doubles as X11 terminal and text-mode equivalent of VNC server
The OWASP NodeGoat project provides an environment to learn how OWASP Top 10 security risks apply to web applications developed using Node.js and how to effectively address them.
An implementation of ElectionGuard version 2.0.0 in Kotlin.