All Categories → Compilers → type-safe

Top 32 type-safe open source projects

Hyper

Type-safe, statically checked composition of HTTP servers

✭ 252

purescript web node functional-programming type-safe

Hypertext

Any-way-you-want-it, type-safe HTML in Swift.

✭ 236

swift dsl html server server-side-swift markup type-safe

Swaydb

Non-blocking persistent & in-memory key-value storage engine for JVM.

✭ 221

scala in-memory key-value-store embeddable persistent type-safe

Nstack

Type-safe, composable microservices for data analytics

✭ 219

python haskell dsl serverless microservices containers data-analysis composition type-safe

Hydux

A light-weight type-safe Elm-like alternative for Redux ecosystem, inspired by hyperapp and Elmish

✭ 216

typescript react framework ssr router state-management preact virtual-dom elm-architecture type-safe hyperapp

C Macro Collections

Easy to use, header only, macro generated, generic and type-safe Data Structures in C

✭ 192

c library containers data-structures list queue stack datastructures data-structure heap hashmap type-safe

Swiftdb

A modern database abstraction layer, batteries included.

✭ 183

swift dsl database sql wrapper runtime coredata codable type-safe

Composable Form

Build type-safe composable forms in Elm

✭ 179

elm form forms form-validation type-safe

Fable.remoting

Type-safe communication layer (RPC-style) for F# featuring Fable and .NET Apps

✭ 175

rpc ajax type-safe fable

Noticeobservekit

NoticeObserveKit is type-safe NotificationCenter wrapper.

✭ 147

swift ios macos tvos watchos type-safe

Sinai

Type safe state management inspired by Vuex

✭ 111

typescript state-management type-safe

Go Structured Query

Type safe SQL query builder and struct mapper for Go

✭ 101

go mysql sql postgres query-builder type-safe

Lila

♞ lichess.org: the forever free, adless and open source chess server ♞

✭ 10,315

typescript scala SCSS javascript java python game functional-programming free-software chess play-framework type-safe non-profit lichess

Univeq

Safer universal equivalence (==) for Scala.

✭ 55

scala scalajs type-safety type-safe

Xrayinterface

Convenient access to private members of Java classes (Java 8)

✭ 5

java reflection type-safe

Caramel

🍬 a functional language for building type-safe, scalable, and maintainable applications

✭ 756

elixir erlang ocaml compiler type-safe

Gremlin Scala

Scala wrapper for Apache TinkerPop 3 Graph DSL

✭ 462

scala graph graph-database graphdb gremlin type-safe

Structopt

Parse command line arguments by defining a struct

✭ 323

cpp17 reflection library cross-platform command-line lightweight mit-license type-safety argument-parser type-safe

Scalacss

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

✭ 293

scala scalajs css type-safety type-safe

Feliz

A fresh retake of the React API in Fable and a collection of high-quality components to build React applications in F#, optimized for happiness

✭ 273

dsl fsharp html react type-safe fable

chain

Extensible, Type Safe Error Handling in Haskell

✭ 13

haskell shell error-handling type-safe

ts-json-validator

JSON Validator for TypeScript - Safer JSON.parse() validating by TypeScript types

✭ 23

typescript json validator structure type-safe

envy

envy: Deserialize environment variables into type-safe structs

✭ 64

C++lightweight json library interface command-line environment-variables type-safe deserialize visitor mit-license struct envy single-header envvars

modelsafe

A type-safe data modelling library for TypeScript

✭ 13

typescript node browser schema validation orm model type-safe

FireSnapshot

A useful Firebase-Cloud-Firestore Wrapper with Codable.

✭ 56

swift ruby ios firebase oss simple model snapshot encode type-safe decode codable firestore cloudfirestore swift5 modelframework propertywr

Caterpillar

🐛 Caterpillar: Type-safe date formats in Swift, no more "yyyy-MM-dd'T'HH:mm:ssZ"

✭ 49

swift ruby objective c date cocoapods swift-package-manager type-safe date-format date-formatting

remote memory

A simple library which provides a way to read and write the memory of other processes

✭ 40

C++CMake windows linux cross-platform osx type-safe

cassidy

Cassidy programming language, bringing static typing, strictness, safety and precision into your web project

✭ 25

typescript compiler oop transpiler type-safe multi-paradigm

SAFE.Simplified

A lightweight alternative template of SAFE for happy cross-IDE full-stack F# development

✭ 97

F#javascript HTML fable full-stack type-safe elmish safe feliz

typist-json

A simple runtime JSON type checker.

✭ 25

typescript javascript json typescript-library type-safe type-checking type-checker runtime-typechecking

re-reduced

Productivity toolbelt for React/Redux/Redux-Saga apps. 1.7kb minzipped

✭ 15

typescript javascript shell redux sagas type-safe higher-order-reducers

SwiftyJSONModel

Better way to use SwiftyJSON with custom models

✭ 29

swift ruby objective c json type-safe swiftyjson json-model-mapping

1-32 of 32 type-safe projects