Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for language type inference
language
x
type-inference
x
31 search results found
Gluon
⭐
3,022
A static, type inferred and embeddable language written in Rust.
Mirah
⭐
862
The Mirah Programming Language
Psychec
⭐
486
A compiler frontend for the C programming language
Potigol
⭐
242
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Airtight
⭐
238
a python-like language with hindley-milner-like type system, which is compiled to c
Nymph
⭐
174
🧚 A slightly different version of C.
Tea
⭐
153
Tea is a humanized programming language.
Nullc
⭐
140
Fast C-like programming language with advanced features
Ntha
⭐
88
The Ntha Programming Language
Intercalscript
⭐
87
The IntercalScript programming language
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
Nfun
⭐
49
Expressions Evaluator for .NET
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
Hindley Milner
⭐
28
Template for Hindley-Milner based languages
Ikko
⭐
26
Ikko language
Ariel
⭐
24
A simple, purely-functional programming language
Opal
⭐
19
Simple and powerful programming language with type inference
Molecule
⭐
17
A tiny statically typed programming language
Mars
⭐
16
Language with OOP & type inference, targeting the LLVM (and maybe JVM)
Luaty
⭐
13
Lua with more or less typing. You type less; we type check.
Koak
⭐
10
A compiler for a little statically-typed language implemented in Haskell.
Rk2015orescript
⭐
9
Tiny language with HM type inference
Broom
⭐
9
A programming language with first-class modules and algebraic effects.
Mezilang
⭐
9
An open source programming language, and compiler for JVM.
Implicitcalculus
⭐
9
Interpreter of Implicit Calculus
Gala
⭐
8
Compiler for a language with Python-like syntax
Plfp
⭐
8
my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
Clors
⭐
8
Clors Logic Language.
Fjs
⭐
6
A statically typing programming language implemented in Haskell.
Lomda
⭐
5
An interpreted programming language with mathematical functionality.
Intro
⭐
5
A programming language for everybody!
Dltpy
⭐
5
🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context
Related Searches
Python Language (4,480)
Javascript Language (4,116)
Java Language (2,399)
C Plus Plus Language (1,971)
Php Language (1,770)
Language Translation (1,672)
C Language (1,621)
Golang Language (1,282)
Typescript Language (1,150)
Ruby Language (1,107)
1-31 of 31 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.