Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for programming type system
programming
x
type-system
x
19 search results found
Lobster
⭐
2,064
The Lobster Programming Language
Urweb
⭐
776
The Ur/Web programming language
Oden
⭐
738
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
Shen Libs
⭐
135
Shen experimental libraries
Gollvm
⭐
86
LLVM bindings for the Go programming language
Learn Typescript 3 By Building Web Applications
⭐
61
Learn TypeScript 3 by Building Web Applications, published by Packt
Cx
⭐
43
A new programming language for blockchain.
Quiverjs
⭐
37
Functional programming for the web
Ende Readme
⭐
22
Ende is a hypothetical programming language.
Zeolite
⭐
18
Zeolite is a statically-typed, general-purpose programming language.
Pacman Cx
⭐
10
Structural Typing Examples
⭐
10
Examples in various programming languages about how structural typing is supported
Compiler
⭐
10
A multi-platform programming language focused on maintainability and bug prevention
Overture
⭐
8
Overture is an implementation of the Prelude programming language that aims to use ATS as a compiler and verification back end.
Multiple
⭐
7
A tool-set for prototyping and implementing usable programming languages with dynamic type system
C Programming
⭐
7
All C programming codes with section wise. 👨💻👩💻
Roo
⭐
6
Programming language focused on expression
Henk
⭐
6
pure type system language - henk 2000 ported to megaparsec, pretty
Tapl Re
⭐
6
Types and programming languages in reason
Related Searches
Python Programming (3,002)
Javascript Programming (1,991)
C Plus Plus Programming (1,812)
Java Programming (1,806)
C Programming (1,543)
Course Programming (949)
Programming Book (889)
Html Programming (772)
Programming Algorithms (718)
Golang Programming (618)
1-19 of 19 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.