Updated 6 months ago

vehicle-lang • Rank 15.1 • Science 64%

A toolkit for enforcing logical specifications on neural networks

Updated 6 months ago

specification • Science 44%

Field Boundaries for Agriculture (fiboa) - a specification that describes important properties of field boundaries

Updated 5 months ago

https://github.com/bigraph-toolkit-suite/bigraphs.bigraph-ecore-metamodel • Science 39%

This project serves as a reference implementation of an abstract syntax specification for bigraphs.

Updated 6 months ago

sigmf • Science 44%

The Signal Metadata Format Specification

Updated 6 months ago

spek • Science 44%

An enhanced gem specification wrapper.

Updated 6 months ago

west • Science 26%

Tool for generating regular expressions of set of all satisfying computations to Mission-time Linear Temporal Logic formulas.

Updated 6 months ago

kb • Science 44%

knowledge base and documentation resource portal for CommodityStream/Manifold Finance

Updated 5 months ago

https://github.com/copyleftdev/sigmos • Science 26%

A next-generation Domain-Specific Language (DSL) designed to define, orchestrate, and execute AI-native, composable, reactive, and multimodal systems.

Updated 6 months ago

substrait • Science 54%

A cross platform way to express data transformation, relational algebra, standardized record expression and plans.