TypeDB is a strongly-typed database with a rich and logical type system. TypeDB empowers you to tackle complex problems, and TypeQL is its query language. TypeDB allows you to model your domain based on logical and object-oriented principles. Composed of entity, relationship, and attribute types, as well as type hierarchies, roles, and rules, TypeDB allows you to think higher-level as opposed to join-tables, columns, documents, vertices, edges, and properties.
database graph logic inference knowledge-graph graph-theory graph-database graphdb knowledge-base type-system strongly-typed graph-visualisation relational knowledge-representation reasoning enterprise-knowledge-graph hyper-relational java-databaseStrictYAML is a type-safe YAML parser that parses and validates a restricted subset of the YAML specification.
yaml parser python3 strict-types strict strongly-typed roundtrip roundtripping typesafe serialization yml yaml-parser yaml-emitter config configuration configuration-file configuration-management schema validationThis package gives you typed expression based routing and link generation in a ASP.NET Core MVC web application. Currently working with version 1.1.0. You can install this library using NuGet into your web project. There is no need to add any namespace usings since the package uses the default ones to add extension methods.
asp-net-core asp-net-core-mvc fluent-extensions strongly-typed routingThis repository contains a blazingly-fast, really simple to use, convention-based published content mapper for Umbraco.UmbMapper maps IPublishedContent instances from the Umbraco Published Content Cache to strongly typed classes. It does so in a very efficient manner with very little overhead.
umbraco mapping-conventions mapping strongly-typedDetectorGraph is a framework for writing programs in a formal graph topology. This can be used to write applications with multiple interdependent algorithms, applications' data models, general business logic or all of that combined. The framework uses a formal distinction between data (Topics) and transformations/logic (Detectors). It natively provides dependency injection, strict type-safety and provides loose coupling between Detectors by formalizing the touch points as Topics. It forces an intuitive (albeit unusual) programming paradigm that results in highly readable, maintainable & testable code. This is not an officially supported Google product.
computational-graphs embedded strongly-typed graphviz dependency-injection sensor-fusion kalman-filter readabilityExtra strict and opinionated rules for PHPStan
phpstan static-code-analysis static-analysis safety strongly-typed php7TypeDB is a strongly-typed database with a rich and logical type system. TypeDB empowers you to tackle complex problems, and TypeQL is its query language. TypeQL allows you to model your domain based on logical and object-oriented principles. Composed of entity, relationship, and attribute types, as well as type hierarchies, roles, and rules, TypeQL allows you to think higher-level as opposed to join-tables, columns, documents, vertices, edges, and properties.
query database logic inference type-system strongly-typed query-language reasoning typedb typeqlTypeQL language library for Java allows you to construct TypeQL queries programmatically, as opposed to manual string concatenations. For example, take the following native TypeQL query. The native TypeQL query above can be constructed programmatically in Java using this library, in the following way.
query database logic query-builder type-system strongly-typed query-language typedb typeql
We have large collection of open source products. Follow the tags from
Tag Cloud >>
Open source products are scattered around the web. Please provide information
about the open source projects you own / you use.
Add Projects.