Awesome Open Source

Programming Languages

Search results for types type inference

type-inference x

14 search results found

Ts Pattern ⭐ 10,246

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

Gluon ⭐ 3,022

A static, type inferred and embeddable language written in Rust.

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Hegel ⭐ 2,087

An advanced static type checker

Type Systems ⭐ 1,300

Implementations of various type systems in OCaml.

Codextended ⭐ 1,262

Extensions giving Swift's Codable API type inference super powers 🦸‍♂️🦹‍♀️

Psychec ⭐ 486

A compiler frontend for the C programming language

Abitype ⭐ 411

Strict TypeScript types for Ethereum ABIs

Graphql Typed Document Node ⭐ 361

An improved version of `DocumentNode` for seamless TypeScript integration for GraphQL.

Infernu ⭐ 318

Type inference and checking for a safer JavaScript.

Type Inference ⭐ 295

The Hindley Milner Type Inference Algorithm

Airtight ⭐ 238

a python-like language with hindley-milner-like type system, which is compiled to c

A general monad for managing stacking effects

Visions ⭐ 166

Type System for Data Analysis in Python

Cesium3 ⭐ 148

Fast interpreter with macros, local type inference, LLVM backend.

Fast C-like programming language with advanced features

Hypertypes ⭐ 104

Hypertypes - generic programming for heterogeneous recursive types

A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.

The Ntha Programming Language

Brings type inference to Objective-C with almost no hacks.

Type Inference ⭐ 82

Type Inference Library written in TypeScript

Typology ⭐ 68

Swift type checking and semantic analysis for developer tools

luajit with a typesystem

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

Heron Language ⭐ 56

A pure functional type-inferred language based on JavaScript

Jinja2schema ⭐ 55

Type inference for Jinja2 templates

Polytype Rs ⭐ 40

A Hindley-Milner polymorphic typing system

3bgl Shader ⭐ 38

CL-hosted CL-like DSL for generating GLSL

Mypy Zope ⭐ 38

Plugin for mypy to support zope.interface

Unification Fd ⭐ 38

Generic functions for single-sorted first-order structural unification

A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.

Type Inference By Example ⭐ 36

A series of down-to-earth articles on implementing type inference

Haskell Tc ⭐ 35

Haskell typechecker

Hindley Milner ⭐ 28

Template for Hindley-Milner based languages

Typesandproofs ⭐ 28

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Ts 8 Bit ⭐ 24

Using TypeScript's Type System to do 8-bit Arithmetic

Runtime Extended Inference for json data.

String type inference and conversion

Lambda Dti ⭐ 20

Interpreter of the ITGL with dynamic type inference

Probabilistic type inference

Simple and powerful programming language with type inference

Ts Pattern Matching ⭐ 18

Pattern matching in TS with Record Patterns, Type Patterns, type inference and more

Algorithmw Rust ⭐ 17

A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.

Molecule ⭐ 17

A tiny statically typed programming language

Language with OOP & type inference, targeting the LLVM (and maybe JVM)

Master thesis on developing a static type checker for Erlang

Scala Implicits ⭐ 15

Implicit metaprogramming tutorial for Scala

Doctorjsmm ⭐ 14

DoctorJS--, simple type inference for JavaScript

Lua with more or less typing. You type less; we type check.

A static type checker for javascript based on type inference

A strongly-typed handy scripting language with type inference

Dealing with JSON in swift 3 without hassle.

Util for casting any object to specified model with typescript type inference

Retypd Data ⭐ 9

Data and scripts for the paper "Polymorphic Type Inference for Machine Code"

Sbt Ynolub ⭐ 9

Rk2015orescript ⭐ 9

Tiny language with HM type inference

The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax

Type Inference ⭐ 8

Hindley Milner Type Inference in Rust

Microml.jl ⭐ 8

A minimal ML, type-inferred, interpreted in 1000~ sloc.

Python Type Inferencer ⭐ 7

Structural type inference for python (proof of concept)

Statistical Type Inference (both fully automatic and semi supervised) for RDF datasets

Kotlin JSON Parsing that infers type (org.json.JSONObject Wrapper)

Hindley Milner ⭐ 6

Kotlin Hindley-Milner type inference with Arrow

A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset

Higher Rank ⭐ 5

Practical type inference for arbitrary-rank types

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

Duby is a highly customizable programming language (or a structured assembly language) featuring type inference and a heavily Ruby-inspired syntax, while allowing both the inference engine and the compiler backends to be entirely customizable for any platform or type system. Duby currently includes a typer/compiler backend for the JVM.

Ad Hoc Poly ⭐ 5

Implementation of type classes

A core concatenative programming language with variables and first-rank polymorphic type inference

Static_checking_python ⭐ 5

2014 talk(+code) I gave about type checking and fuzzing in python.

Hindley-Milner type system with extensible records and variants, implemented in Go

A programming language for everybody!

Related Searches

Javascript Types (8,178)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

C Plus Plus Types (1,282)

Golang Types (1,257)

C Sharp Types (1,177)

Plugin Types (1,152)

Json Types (1,128)

1-14 of 14 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.