70 Open source projects that are alternatives of or similar to Hegel

Intuitive, type-safe configuration module for Nest framework ✨

Auto generation of type-safe bindings between Reason and Typescript.

A formalisation of PCF in Agda using naive nominal binding

Super type-safe CSS for Scala and Scala.JS.

A typed, persistent store for values of arbitrary types

Automatically discover and add missing types in your TypeScript code

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions

WartRemover warts for Play Framework.

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

Type safe Vuex module with powerful module features

Small PHP Library for type-safe input handling

Safer universal equivalence (==) for Scala.

Typed struct and value objects

A simple Swift library for working with generic JSON structures

Typed variables for PHP 7.4+ ( don't use this please )

A statically-typed strictly-evaluated garbage-collected readable programming language.

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

Testing framework for Purescript

Data interchange with algebraic data types.

🏷 A wrapper type for safer, expressive code.

Safely cast values to int, float, or string in PHP

Functional, composable, asynchronous, type-safe Python.

A strongly typed GraphQL API framework

TopShell - a purely functional, reactive scripting language

A modern, type-safe, header-only, C++14 wrapper for JNI

A Domain Representation Language

Validation library with type-safe schemas and rules

A type-safe Postgres query builder for TypeScript.

Python library providing type-checked function calls at runtime

🆔 Type-safe identifiers in Swift

🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.

Cone Programming Language

Typical: Fast, simple, & correct data-validation using Python 3 typing.

Haskell PostgreSQL library with compile-time type inference

PHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables

Type Safe LLVM IR ( Experimental )

🏷 Type-safe tags in Swift

An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.

Zero overhead utilities for preventing bugs at compile time

type - Strong types for C++98, C++11 and later in a single-file header-only library

Track missing type coverage to ensure type safety

Type4Py: Deep Similarity Learning-Based Type Inference for Python

A runtime type system for JavaScript with full Flow compatibility.

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

Type-safe and human-readable set of bool flags

A plugin for Nexus that integrates Prisma

🔩 The missing TypeScript utils

coulomb: unit analysis for Scala

C++ templates for type-safe bit manipulation

🎁 A compile-time guarantee that a collection contains a value.

A fully type safe, compile time only units library.

Error reporters for io-ts

A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL

Make your functions return something meaningful, typed, and safe!

⚡️ Runtime type-checker for JavaScript

Type level helper to ensure type safety in Vuex

Type-safe thread-local storage in Swift

Parse command line arguments by defining a struct