GitHub topics: strongly-typed
houd1ni/WebsocketPromisify
Makes websocket's API just like REST with Promise-like API, with native Promises.
Language: TypeScript - Size: 780 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 26 - Forks: 3
vil02/CtUnits
Compilte-time utilites for dealing with quantities with units
Language: C++ - Size: 282 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
edumarques/dynamophp
DynamoPHP is a lightweight, strongly-typed Object Data Mapper designed to simplify development with Amazon DynamoDB.
Language: PHP - Size: 33.2 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 3 - Forks: 0
NonStopHitler/dynamophp-symfony
DynamoPHP Symfony Bundle integrates DynamoPHP into Symfony applications, providing seamless configuration and service registration.
Language: PHP - Size: 45.9 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
crdoconnor/strictyaml
Type-safe YAML parser and validator.
Language: Python - Size: 1.09 MB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 1,531 - Forks: 61
edumarques/dynamophp-symfony
DynamoPHP Symfony Bundle integrates DynamoPHP into Symfony applications, providing seamless configuration and service registration.
Language: PHP - Size: 50.8 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0
anvil-rs/anvil
Structured, type safe, templating
Language: Rust - Size: 359 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 3 - Forks: 0
houd1ni/fela-vue
Fela mixin for Vue designed for flexibility yet team-oriented.
Language: TypeScript - Size: 2.08 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 7 - Forks: 3
typedb/typeql
TypeQL: the power of programming, in your database
Language: Java - Size: 6.27 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 227 - Forks: 46
typedb/typedb
TypeDB: the power of programming, in your database
Language: Rust - Size: 104 MB - Last synced at: 5 days ago - Pushed at: 9 days ago - Stars: 3,973 - Forks: 344
steffenskov/StrongTypedId
A super small library for providing strong typed Ids (as opposed to using primitives)
Language: C# - Size: 378 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 0
michael-damatov/lambda-converters
Strongly-typed lambda expressions as value converters, data template selectors, and validation rules
Language: C# - Size: 1.15 MB - Last synced at: 2 days ago - Pushed at: over 5 years ago - Stars: 144 - Forks: 15
rustedpy/result
NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.
Language: Python - Size: 193 KB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 1,659 - Forks: 83
phpstan/phpstan-strict-rules
Extra strict and opinionated rules for PHPStan
Language: PHP - Size: 388 KB - Last synced at: 5 days ago - Pushed at: 26 days ago - Stars: 640 - Forks: 51
NikSativa/SmartNetwork
Light weight wrapper around URLSession
Language: Swift - Size: 1.17 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 4 - Forks: 3
Nikaple/nest-typed-config
Intuitive, type-safe configuration module for Nest framework ✨
Language: TypeScript - Size: 1.74 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 215 - Forks: 27
babyfish-ct/graphql-ts-client
Typescript DSL for GraphQL.
Language: TypeScript - Size: 22.6 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 148 - Forks: 20
BlackHC/llm-strategy
Directly Connecting Python to LLMs via Strongly-Typed Functions, Dataclasses, Interfaces & Generic Types
Language: Python - Size: 1.34 MB - Last synced at: 22 days ago - Pushed at: 2 months ago - Stars: 396 - Forks: 24
zubrailx/natrix
A compiled, dynamic, strongly typed language
Language: C - Size: 214 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
paddls/ngx-form
Model based typed reactive forms made easy.
Language: TypeScript - Size: 1.63 MB - Last synced at: about 4 hours ago - Pushed at: 16 days ago - Stars: 14 - Forks: 0
typedorm/typedorm
Strongly typed ORM for DynamoDB - Built with the single-table-design pattern in mind.
Language: TypeScript - Size: 2.07 MB - Last synced at: 28 days ago - Pushed at: 7 months ago - Stars: 491 - Forks: 52
altasoft/DomainPrimitives
C# Domain Primitives generator
Language: C# - Size: 2.95 MB - Last synced at: 24 days ago - Pushed at: about 1 month ago - Stars: 58 - Forks: 0
ivaylokenov/AspNet.Mvc.TypedRouting
A collection of extension methods providing strongly typed routing and link generation for ASP.NET Core MVC projects.
Language: C# - Size: 1.35 MB - Last synced at: about 7 hours ago - Pushed at: almost 6 years ago - Stars: 483 - Forks: 36
bitdotgames/BHL
BHL is a strictly typed programming language based on C# specifically tailored for gameplay logic scripting.
Language: C# - Size: 7.55 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 39 - Forks: 10
hitchdev/hitchstory
Type-safe YAML integration tests. Tests that write your docs. Tests that rewrite themselves.
Language: Python - Size: 2.56 MB - Last synced at: 29 days ago - Pushed at: 10 months ago - Stars: 96 - Forks: 3
loderunner/typelit
A type-safe string templating library for TypeScript
Language: TypeScript - Size: 330 KB - Last synced at: 20 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 1
LukasKalbertodt/lina
Strongly typed linear algebra library with a focus on 3D applications like games (i.e. low-dimensional vectors and matrices)
Language: Rust - Size: 237 KB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 12 - Forks: 1
ddadaal/react-typed-i18n
A strongly typed i18n library for react
Language: TypeScript - Size: 2.9 MB - Last synced at: 9 days ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 0
bpisano/monkey
A strongly typed, verbose implementation of Mongoose in Typescript.
Language: TypeScript - Size: 779 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
neuledge/ddb-table
🔒 Strongly typed library for querying and modeling DynamoDB documents in TypeScript.
Language: TypeScript - Size: 2.13 MB - Last synced at: 29 days ago - Pushed at: 11 months ago - Stars: 129 - Forks: 4
liphe/delisp
A statically typed Lisp dialect with algebraic effect system compiling to Javascript
Language: TypeScript - Size: 4.3 MB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 41 - Forks: 1
akutruff/typescript-needs-types
TypeScript please give us types.
Size: 118 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 411 - Forks: 12
lucasteles/Strongly
💪🏾 A strongly-typed domain values source-generator
Language: C# - Size: 3.76 MB - Last synced at: 6 days ago - Pushed at: 12 months ago - Stars: 39 - Forks: 6
nberlette/type
TypeScript runtime utilities infused with powerful compile-time features. Available on JSR under the `@type/*` scope.
Language: TypeScript - Size: 196 KB - Last synced at: 4 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0
DavidQF555/MAL.js
Lightweight Wrapper for MyAnimeList API
Language: TypeScript - Size: 168 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
lento-lang/Lento
A strongly typed, and expressive functional programming language
Language: Rust - Size: 1.2 MB - Last synced at: about 6 hours ago - Pushed at: about 6 hours ago - Stars: 3 - Forks: 0
NikSativa/IDKit
Simple and lightweight library that provides a set of classes and functions to work with identifiers
Language: Swift - Size: 26.4 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
book-monkey5/11-reactive-forms
🐵📕 Demo-Projekt BookMonkey 5 – Kapitel 19 (Seite 345) "Formulare mit Reactive Forms"
Language: TypeScript - Size: 8.1 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
IamSebastianDev/vay.js
A TypeScript oriented, lightweight (3kb minified), modern & dependency free internationalization (i18n) provider.
Language: TypeScript - Size: 1.48 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0
paddls/ngx-serializer
Angular wrapper of @paddls/ts-serializer library
Language: TypeScript - Size: 1.72 MB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 4 - Forks: 2
kburtch/SparForte
Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.
Language: Ada - Size: 12.9 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 51 - Forks: 6
arturbac/small_vectors
Optimized C++20/23 vectors, strings with in class buffer storage, and utility algorithms
Language: C++ - Size: 515 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 13 - Forks: 2
Pavlo-0/UiRealTimeCommunicator
UiRealTimeCommunicator is a NuGet library designed to enable seamless strongly-typed message exchange between a C# .NET 8 server-side and a TypeScript client-side (using SignalR). This library simplifies WebSocket-based communication by providing strict type safety and an intuitive API.
Language: C# - Size: 249 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
dogweather/validated_object
Self-validating Ruby objects
Language: Ruby - Size: 175 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 64 - Forks: 2
paddls/ngx-repository
Easily create a strongly typed data client (Http REST or Firestore) in your Angular project.
Language: TypeScript - Size: 3.67 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 35 - Forks: 2
tealang/tea
Programming is like drinking tea.
Language: PHP - Size: 1.79 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 157 - Forks: 17
neuledge/computed-types
🦩 Joi like validations for TypeScript
Language: TypeScript - Size: 2.24 MB - Last synced at: 29 days ago - Pushed at: 11 months ago - Stars: 362 - Forks: 13
brundonsmith/bagel
A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used to the JavaScript/TypeScript language and ecosystem.
Language: TypeScript - Size: 4.21 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 88 - Forks: 2
MustafaAhmed313/Typescript-for-JSDevs
This repository is a shorthand tutorial that explain the basic differences between typescript and Javascript for all javascript developers.
Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 1
pauldreik/safe_compare
Library for safe C++ integer comparisons
Language: C++ - Size: 132 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 1
fluxera/Fluxera.StronglyTypedId
A library that provides strongly-typed Ids without code generation.
Language: C# - Size: 170 KB - Last synced at: 20 days ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1
doom/strong_type
C++ implementation of strong types
Language: C++ - Size: 25.4 KB - Last synced at: 4 days ago - Pushed at: over 5 years ago - Stars: 54 - Forks: 6
Muqsit/generator-phpstan-rules
PHPStan rules bringing added Generator inspections.
Language: PHP - Size: 16.6 KB - Last synced at: 22 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
mehmetakbulut/SignalR.Strong
Strongly-typed calls from client to server and handlers for calls from server to client
Language: C# - Size: 67.4 KB - Last synced at: 8 days ago - Pushed at: almost 2 years ago - Stars: 35 - Forks: 7
istrib/vuex-typescript
A simple way to make Vuex type-safe with intuitive intellisense
Language: TypeScript - Size: 165 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 236 - Forks: 17
inoutgg/strlog.dart
Structured, hierarchical, leveled logging for Dart.
Language: Dart - Size: 765 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 14 - Forks: 2
SpacingBat3/lss
LSS: Literal String Sanitizer. Sanitize any value (as nullish string) at runtime while preserving type accuracy.
Language: TypeScript - Size: 36.1 KB - Last synced at: 18 days ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0
eventide-project/schema
Primitives for schema and data structure
Language: Ruby - Size: 233 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 9 - Forks: 6
mental32/monty
A language toolchain for explicitly typed annotated Python. 🐍
Language: Rust - Size: 1.61 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 68 - Forks: 5
rusini/manool
Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability
Language: C - Size: 1.23 MB - Last synced at: 29 days ago - Pushed at: 11 months ago - Stars: 63 - Forks: 3
yunjhongwu/strong-type
Procedural macros for naming and strong-typing pritimives and strings in Rust
Language: Rust - Size: 112 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 2 - Forks: 1
kapusons/ks-select
Augments linq IQueryable Select capabilities with configurable options to allow build composable projections, based on conditional constructs.
Language: C# - Size: 938 KB - Last synced at: 11 days ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0
Ami-hub/Sample-RESTful-API
RESTful API based on typescript and fastify!
Language: TypeScript - Size: 164 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
xor-bits/zap
a scripting language (primarily) for games written in Rust
Language: Rust - Size: 236 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 2 - Forks: 1
goxiaoy/go-eventbus
simple strong typed event bus from golang generics
Language: Go - Size: 12.7 KB - Last synced at: 23 days ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 3
olivierbellone/r
Rust-like Result type for Ruby
Language: Ruby - Size: 2.43 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 1
google/detectorgraph 📦
Strongly-typed, dependency based application framework for code/data separation with dependency injection and data passing.
Language: C++ - Size: 1.41 MB - Last synced at: 22 days ago - Pushed at: over 6 years ago - Stars: 46 - Forks: 9
houd1ni/vue-runtime-bundle
Vue and friends bundle for embedded in-browser development.
Language: TypeScript - Size: 416 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0
alchemauss/mauss
fast and efficient type-safe SDK
Language: TypeScript - Size: 482 KB - Last synced at: 8 days ago - Pushed at: 7 months ago - Stars: 6 - Forks: 0
zertovitch/hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Language: Ada - Size: 10.2 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 120 - Forks: 11
gparlakov/forms-typed
Want types in your forms? Want to have nested forms? This is the place to be...
Language: TypeScript - Size: 2.8 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 83 - Forks: 9
isc30/linq-collections
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
Language: TypeScript - Size: 542 KB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 119 - Forks: 11
kriasoft/knex-types
Generate TypeScript definitions (types) from a PostgreSQL database schema.
Language: TypeScript - Size: 3.68 MB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 65 - Forks: 23
sangupta/unsplash-java-client
Strongly-typed Java SDK to interact with https://unsplash.com
Language: Java - Size: 20.5 KB - Last synced at: 18 days ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 3
szktty/trompe
A strongly-typed handy scripting language with type inference
Language: Go - Size: 325 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 14 - Forks: 0
paddls/ts-serializer
Serialize your models into strongly typed Typescript classes
Language: TypeScript - Size: 442 KB - Last synced at: 7 days ago - Pushed at: 9 months ago - Stars: 8 - Forks: 1
typedb/typeql-lang-java 📦
TypeQL language library for Java
Language: Java - Size: 1.34 MB - Last synced at: 10 months ago - Pushed at: almost 3 years ago - Stars: 9 - Forks: 5
JimBobSquarePants/UmbMapper 📦
:gemini: A fast, convention based, published content mapper for Umbraco
Language: C# - Size: 1.16 MB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 31 - Forks: 4
RougeWare/Swift-Special-String
Ever need a string but also wish it weren't a String type?
Language: Swift - Size: 22.5 KB - Last synced at: 23 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
martinmoene/type-lite
type - Strong types for C++98, C++11 and later in a single-file header-only library
Language: C++ - Size: 125 KB - Last synced at: 13 days ago - Pushed at: 11 months ago - Stars: 36 - Forks: 3
Frosendroska/Type-inference
Algorithm of Type Inference
Language: Haskell - Size: 3.91 KB - Last synced at: 12 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
JacobFischer/ts-typed-events
Strongly typed event emitters for TypeScript
Language: TypeScript - Size: 1.93 MB - Last synced at: 22 days ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 3
MarkNickeson/SignalrCoreClientSideProxies
Strongly Typed Client Support for ASP.NET SignalR Core
Language: C# - Size: 71.3 KB - Last synced at: 12 months ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 0
vincentneo/LocaleComplete
Autocomplete Swift Locale identifiers.
Language: Swift - Size: 379 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 13 - Forks: 0
Concoctist/concoct
🧪 An imperative, dynamically-typed, interpreted, general-purpose programming language
Language: C - Size: 461 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 1
stagas/alice-bob
transport agnostic strongly typed duplex rpc interfaces
Language: TypeScript - Size: 1.26 MB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
sar1008/strongly-typed-event-emitter
A strongly typed version of the Node EventEmitter.
Language: TypeScript - Size: 92.8 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
bio4j/angulillos
Java 8 library for strongly typed graph data
Language: Java - Size: 1.32 MB - Last synced at: 6 days ago - Pushed at: over 8 years ago - Stars: 7 - Forks: 2
Mediagone/types-collections
Provides full-featured collections for primitive types, and generic classes to build your own strongly-typed collections. Each collection has chainable methods to perform traversal, filter and projection operations.
Language: PHP - Size: 92.8 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1
ghuter/chi
New C-based programming language designed for systems programming, with a modular design.
Language: C - Size: 391 KB - Last synced at: 9 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
igorskyflyer/npm-my-file-path
🌟 An npm module that strongly types file paths! 🥊
Language: TypeScript - Size: 43.9 KB - Last synced at: 29 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
m3g0byt3/Apple-HIG-Colors
Apple Human Interface Guidelines Color Pallete
Language: Objective-C - Size: 90.8 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
nileshkhaire/BabyCorn
Short and sweet strongly typed XML reader for JVM
Language: Java - Size: 92.8 KB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0
Andreas-Dorfer/base-types
Fight primitive obsession and create expressive domain models with source generators.
Language: C# - Size: 455 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 2
elglogins/STRHM
Strongly typed implementation for Redis StackExchange client, when using hashset functionality.
Language: C# - Size: 129 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
LGrow/LGrow
🐹 LGrow, Fast and simplified ⚡
Language: C - Size: 94.7 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 1
seequent/properties
An organizational aid and wrapper for validation and tab completion of class properties/traits.
Language: Python - Size: 988 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 18 - Forks: 9
aparnaittekot/Java-Basics
Basics of JAVA
Language: Java - Size: 29.3 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
TomaszRewak/strong_typedefs
A strong_typedef implementation for C++ with selective operator overloads.
Language: C++ - Size: 11.7 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
baby-steve/interpreter
A small interpreter
Language: JavaScript - Size: 247 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
