Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 13 Inference Type System Open Source Projects

Open source projects categorized as Inference Type System
Categories > Machine Learning > Inference
Categories > Type System
Typedb ⭐ 3,623
TypeDB: the polymorphic database powered by types
dependent packages 5total releases 24most recent commit 3 months ago
Airtight ⭐ 238
a python-like language with hindley-milner-like type system, which is compiled to c
most recent commit 3 years ago
Typeql ⭐ 206
TypeQL: the polymorphic query language of TypeDB
dependent packages 1total releases 7most recent commit 3 months agocargo typeql} Downloads
Write You An Inference In Fsharp ⭐ 120
Different type inference algorithms implemented in F#
most recent commit 3 years ago
Nattlua ⭐ 67
luajit with a typesystem
most recent commit 4 months ago
Joujou ⭐ 64
A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
most recent commit 5 years ago
Reinfer ⭐ 23
Runtime Extended Inference for json data.
most recent commit 3 years ago
Kekka ⭐ 14
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
most recent commit 3 years ago
Ttstar ⭐ 12
Dependently typed core calculus with erasure
most recent commit 5 years ago
Nullawayannotator ⭐ 11
A tool to help adapting code bases to NullAway type system.
total releases 12most recent commit 4 months ago
Flowcaml ⭐ 11
Flowcaml compiler
most recent commit 11 years ago
Type Inference ⭐ 8
Hindley Milner Type Inference in Rust
most recent commit 7 years ago
Duby ⭐ 5
Duby is a highly customizable programming language (or a structured assembly language) featuring type inference and a heavily Ruby-inspired syntax, while allowing both the inference engine and the compiler backends to be entirely customizable for any platform or type system. Duby currently includes a typer/compiler backend for the JVM.
most recent commit 14 years ago
The 2 Most Depended On Inference Type System Open Source Projects
Typedb ⭐ 3,623
TypeDB: the polymorphic database powered by types
dependent packages 5total releases 24latest release December 13, 2018most recent commit 3 months ago
Typeql ⭐ 206
TypeQL: the polymorphic query language of TypeDB
dependent packages 1total releases 7latest release December 04, 2023most recent commit 3 months agocargo typeql} Downloads
The 3 Latest Releases In Inference Type System Open Source Projects
Typeql ⭐ 206
TypeQL: the polymorphic query language of TypeDB
dependent packages 1total releases 7latest release December 04, 2023most recent commit 3 months agocargo typeql} Downloads
Nullawayannotator ⭐ 11
A tool to help adapting code bases to NullAway type system.
total releases 12latest release November 17, 2023most recent commit 4 months ago
Typedb ⭐ 3,623
TypeDB: the polymorphic database powered by types
dependent packages 5total releases 24latest release December 13, 2018most recent commit 3 months ago
Popular Machine Learning Categories
Deep Learning
Machine Learning
Pytorch
Tensorflow
Natural Language Processing
Neural Network
Neural
Computer Vision
Convolutional Neural Networks
Opencv
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.