TypeDB - A strongly-typed database

•    Java

---

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-database

strictyaml - Type-safe YAML parser and validator.

•    Python

---

StrictYAML 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 validation

AspNet

•    CSharp

---

This 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 routing

UmbMapper - :gemini: A fast, convention based, published content mapper for Umbraco

•    CSharp

---

This 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-typed

detectorgraph - Strongly-typed, dependency based application framework for code/data separation with dependency injection and data passing

•    C++

---

DetectorGraph 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 readability

phpstan-strict-rules - Extra strict and opinionated rules for PHPStan

•    PHP

---

Extra strict and opinionated rules for PHPStan

phpstan static-code-analysis static-analysis safety strongly-typed php7

typeql - TypeQL: the query language of TypeDB - a strongly-typed database

•    ANTLR

---

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. 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 typeql

typeql-lang-java - TypeQL language library for Java

•    Java

---

TypeQL 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