Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for type system polymorphism
polymorphism
x
type-system
x
8 search results found
Typedb
⭐
3,623
TypeDB: the polymorphic database powered by types
Interface99
⭐
252
Full-featured interfaces for C99
Typeql
⭐
206
TypeQL: the polymorphic query language of TypeDB
Sesterl
⭐
122
An ML-inspired statically-typed Erlang
Write You An Inference In Fsharp
⭐
120
Different type inference algorithms implemented in F#
Sound And Complete
⭐
81
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
Ftor
⭐
43
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Csharpinsimpleterms
⭐
35
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
Related Searches
Types Type System (228)
1-8 of 8 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.