Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for programming language type inference
programming-language
x
type-inference
x
25 search results found
Gluon
⭐
3,022
A static, type inferred and embeddable language written in Rust.
Haskell
⭐
278
Potigol
⭐
242
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Nymph
⭐
174
🧚 A slightly different version of C.
Tapl Scala
⭐
161
Code from the book "Types and Programming Languages" in Scala
Tea
⭐
153
Tea is a humanized programming language.
Nullc
⭐
140
Fast C-like programming language with advanced features
L2
⭐
110
A minimalist type-inferred programming language with procedural macro support
Hypertypes
⭐
104
Hypertypes - generic programming for heterogeneous recursive types
Cubiml Demo
⭐
103
A simple ML-like programming language with subtyping and full type inference.
Intercalscript
⭐
87
The IntercalScript programming language
Vanilla Lang
⭐
73
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Amun
⭐
58
A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast
Heron Language
⭐
56
A pure functional type-inferred language based on JavaScript
Boba
⭐
38
A general purpose statically-typed concatenative programming language.
Tin
⭐
36
A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.
Samlang
⭐
32
Sam's Programming Language
Ariel
⭐
24
A simple, purely-functional programming language
Reinfer
⭐
23
Runtime Extended Inference for json data.
Opal
⭐
19
Simple and powerful programming language with type inference
Fby19
⭐
17
Koak
⭐
10
A compiler for a little statically-typed language implemented in Haskell.
Broom
⭐
9
A programming language with first-class modules and algebraic effects.
Proud
⭐
8
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
Frea
⭐
7
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded polymorphism.
Styff
⭐
7
A functional programming language based on system F (omega) ft. NbE and higher order unification
Lomda
⭐
5
An interpreted programming language with mathematical functionality.
Lunalang
⭐
5
Luna is a general purpose language
Related Searches
C Plus Plus Programming Language (830)
Python Programming Language (779)
C Programming Language (667)
Java Programming Language (544)
Javascript Programming Language (532)
Rust Programming Language (365)
Haskell Programming Language (270)
Typescript Programming Language (175)
Programming Language Llvm (167)
1-25 of 25 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.