The Wayback Machine - https://web.archive.org/web/20220319091926/https://github.com/topics/static-types

#

static-types

Here are 25 public repositories matching this topic...

colinhacks / zod

Sponsor

TypeScript-first schema validation with static type inference

typescript static-types schema-validation type-inference runtime-validation

Updated Mar 19, 2022
TypeScript

typebox

sinclairzx81 / typebox

JSON Schema Type Builder with Static Type Resolution for TypeScript

typescript json-schema static-types runtime-typechecking

Updated Feb 24, 2022
TypeScript

evincarofautumn / kitten

A statically typed concatenative systems programming language.

language programming-language haskell effects concatenative static-types forth

Updated Nov 3, 2020
Haskell

nicksp / redux-webpack-es6-boilerplate

A starter project for modern React apps with Redux

react redux sass flow boilerplate react-router tdd sentry react-boilerplate css-modules starter-template webpack2 static-types starter-kit redux-boilerplate redux-devtools tdd-workflow starter-react

Updated Mar 7, 2017
JavaScript

coulomb

erikerlandson / coulomb

coulomb: unit analysis for Scala

scala typelevel configuration numeric units-of-measure configuration-management unit-analysis unit-conversion static-types dimensional-analysis units typeclass type-safety avro-schema typechecking pureconfig refined unit-quantity

Updated Mar 18, 2022
Scala

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.

javascript typescript compiler functional-programming static-types reactivity strongly-typed deno

Updated Mar 16, 2022
TypeScript

stereobooster / pragmatic-types

Small practical guide on Flow and TypeScript for JavaScript developers

flow typescript flowtype static-types

Updated Oct 24, 2018

dsheiko / bycontract

Argument validation library based on JSDOC syntax

validation jsdoc interface static-types validate

Updated Sep 21, 2021
JavaScript

athos / type-infer

Sponsor

A Clojure utility to inspect static types inferred by the Clojure compiler

clojure macros static-types type-inference

Updated Feb 4, 2021
Clojure

goshacmd / redux-typed-saga

A type-safe alternative to redux-saga. // Using `yield*` in `finally` is currently broken in Babel / ES spec, as it will terminate the generator completely.

redux redux-saga static-types side-effect flowjs

Updated Dec 3, 2016
JavaScript

mbdevpl / static-typing

Add static type information into Python abstract syntax trees.

static-analysis static-types dynamic-analysis type-safety type-system statically-typed

Updated Jul 29, 2019
Python

kevinwilde / type-system-workshop

Type system workshop for reactathon

static-types type-inference type-systems

Updated Oct 5, 2021
TypeScript

justinlubin / Camille

Camille is an interpreted yet statically-typed programming language implemented in Haskell.

interpreter static-types programming-languages type-system

Updated Jul 24, 2017
Haskell

colxi / functyped

Automatic static type-checking for Javascript functions through declarative syntax.

static-types typed-js type-check typed-function strong-typing typed-parameters typed-javascript

Updated Mar 26, 2019
JavaScript

giorgosart / strong-typed

A runtime type-checking library for javascript

javascript-library static-types type-checking strong-typed type-check

Updated Oct 29, 2020
JavaScript

useflyyer / flyyer-variables

Helper module to create a `schema` that enables Flyyer.io to display template's variables on https://flyyer.io/dashboard for decks and templates.

react typescript json-schema seo static-types ajv flyyer

Updated Jan 22, 2022
TypeScript

iddan / cypher_query_builder

Python Query builder for Cypher, the graph query language

python neo4j static-types graph-database cypher

Updated Sep 7, 2018
Python

pentagram-lang / pentagram

A small programming language built to be kind, clear, and powerful [design phase]

functional-programming static-types stack-oriented

Updated Mar 14, 2022
Python

io7m / jcanephora

OpenGL plus static safety

java opengl static-types

Updated Jun 4, 2018
Java

xandrw / PHPStrongTypes

PHP strong types implementation (no composer autoload)

php static-types

Updated May 23, 2018
PHP

danieldogeanu / right-type

A simple utility for checking JavaScript types.

javascript flow utility typescript js simple static-types type checking right

Updated Feb 2, 2022
JavaScript

grubersjoe / master-thesis

Masterarbeit: Statische Typsysteme für JavaScript - Entwicklung eines Transpilers zur Übersetzung von Flow nach TypeScript

flow typescript babel-plugin transpiler static-types

Updated Nov 12, 2020
TeX

christabor-archive / more_collections

An experiment in type safe data structures...

types typing static-types typesafe

Updated Jan 30, 2017
Python

jonathancast / globalscript

Global Script Typesetting System --- git clone

lisp functional-programming static-types static-typed parentheses static-typing pure-functional hate-parentheses

Updated Aug 3, 2020
C

jonathancast / globalscript-spec

Global Script Language Spec / test suite

lisp functional-programming static-types static-typed parentheses static-typing pure-functional-master-race pure-functional hate-parentheses

Updated Mar 10, 2019
JavaScript

Improve this page

Add a description, image, and links to the static-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the static-types topic, visit your repo's landing page and select "manage topics."