Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for programming language type system
programming-language
x
type-system
x
23 search results found
Ng
⭐
914
scripting language integrated with Go
Onelang
⭐
872
Oden
⭐
738
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
Pikelet
⭐
507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Fathom
⭐
235
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Morloc
⭐
190
A typed, polyglot, functional language
Cicada Solo
⭐
125
Cicada Language (solo version)
Sesterl
⭐
122
An ML-inspired statically-typed Erlang
Labrys
⭐
91
A toy language based on LLVM that implements the System Fω type-system
Cicada
⭐
80
Cicada Language
Cx
⭐
43
A new programming language for blockchain.
Formality Core
⭐
35
Specification of the Formality proof and programming language
Types And Programming Languages
⭐
30
C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
Minimalcc
⭐
29
Minimal C subset compiler
Plts
⭐
28
A collection of programming languages and type systems.
Reinfer
⭐
23
Runtime Extended Inference for json data.
Ende Readme
⭐
22
Ende is a hypothetical programming language.
Zeolite
⭐
18
Zeolite is a statically-typed, general-purpose programming language.
Dblib Linear
⭐
10
Formalisation of the linear lambda calculus in Coq
Compiler
⭐
10
A multi-platform programming language focused on maintainability and bug prevention
Pacman Cx
⭐
10
Structural Typing Examples
⭐
10
Examples in various programming languages about how structural typing is supported
Elara
⭐
9
Elara is a purely-functional programming language targetting the JVM
C Of X
⭐
9
a programming language with composable refinements and inverse functions inference
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
Multiple
⭐
7
A tool-set for prototyping and implementing usable programming languages with dynamic type system
Roo
⭐
6
Programming language focused on expression
Related Searches
C Plus Plus Programming Language (830)
Python Programming Language (779)
C Programming Language (667)
Javascript Programming Language (590)
Java Programming Language (544)
Rust Programming Language (365)
Golang Programming Language (303)
Haskell Programming Language (270)
Types Type System (228)
1-23 of 23 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.