Awesome Open Source

Programming Languages

Search results for types polymorphism

24 search results found

Type Systems ⭐ 1,300

Implementations of various type systems in OCaml.

Haskell Resources ⭐ 824

A List of Foundational Haskell Papers

Classes ⭐ 575

Smart, pythonic, ad-hoc, typed polymorphism for Python

Scriptum ⭐ 380

Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript

Jsonsubtypes ⭐ 374

Discriminated Json Subtypes Converter implementation for .NET

Infernu ⭐ 318

Type inference and checking for a safer JavaScript.

Archery ⭐ 128

Abstract over the atomicity of reference-counting pointers in rust

Sesterl ⭐ 122

An ML-inspired statically-typed Erlang

Haskellresources ⭐ 108

Compilation of useful resources for learning Haskell

Sound And Complete ⭐ 81

An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

Protocol ⭐ 71

Protocol based polymorphism for javascript.

A microlibrary for Scala encodings of higher-rank quantifiers

[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.

Bidirectional.js ⭐ 47

Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

Higherkindswift ⭐ 42

An experimental Higher Kinded Types in Swift.

Polytype Rs ⭐ 40

A Hindley-Milner polymorphic typing system

flypy - A runtime compiler for Python

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

Funlangs ⭐ 27

Functional languages index

Dmocks Revived ⭐ 22

A mocking framework for the D programming language

Haskell library of row polymorphic record manipulator

Haskell to brainfuck compiler

Ocaml Type Classes ⭐ 13

OCaml Type Classes

Usingstdcpp2017 ⭐ 11

Presentations from Joaquín Mª López Muñoz at using std::cpp 2017 and associated material

A simple, easily embeddable pure-functional language with static typing and row polymorphism.

Higher Standard ⭐ 10

Higher kinded polymorphism in SML

Protocols ⭐ 10

Multi-type protocol-based polymorphism

Rk2015orescript ⭐ 9

Tiny language with HM type inference

Signalr Protobuf ⭐ 9

C# SignalR Protobuf Protocol

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

Scala_school_notebooks ⭐ 8

Scala School Notebooks

Protocoljs ⭐ 8

A JavaScript port of Clojure's protocol polymorphism.

Burrito Book Addendum ⭐ 7

An addendum to Practical FP in Scala

Type Systems Scala ⭐ 6

Implementations of various type systems in Scala.

Java implementation of various type inference algorithms

OWL Compiler. OWL is a modern system level language

Static Scheme ⭐ 5

A mocking framework for the D programming language

Introduction To Haskell ⭐ 5

Introductory Haskell course

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-24 of 24 search results

Privacy | About | Terms | Follow Us On Twitter

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