Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Type Inference Open Source Projects

Open source projects categorized as Type Inference
Categories > Type Inference
Sisal Is ⭐ 18
Modernized Sisal Interpreter
most recent commit 5 years ago
Swift Type Inference Bug ⭐ 17
This project contains code that reproduces a bug that prevents the Swift compiler from being able to efficiently perform type inference on semi-simple dictionary or array literals.
most recent commit 3 years ago
Molecule ⭐ 17
A tiny statically typed programming language
most recent commit 10 years ago
Fby19 ⭐ 17
most recent commit 4 years ago
Algorithmw Rust ⭐ 17
A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
most recent commit 8 years ago
Mt ⭐ 16
Master thesis on developing a static type checker for Erlang
most recent commit 6 years ago
Mars ⭐ 16
Language with OOP & type inference, targeting the LLVM (and maybe JVM)
most recent commit 5 years ago
Symbol ⭐ 16
typed lisp adventure
most recent commit 11 years ago
Hicada ⭐ 16
A cljs hiccup compiler that helps you be deliberate about runtime interpretation.
most recent commit 5 years ago
Panther ⭐ 15
The panther compiler written in nim
most recent commit 3 years ago
Scala Implicits ⭐ 15
Implicit metaprogramming tutorial for Scala
most recent commit 9 years ago
Lector ⭐ 15
A fast reader for messy CSV files with optional type inference.
most recent commit 5 months ago
Invargent ⭐ 14
Invariant Generation as Type Inference with GADTs and Existentials
most recent commit 9 years ago
Doctorjsmm ⭐ 14
DoctorJS--, simple type inference for JavaScript
most recent commit 11 years ago
Live ⭐ 13
🎭 Automatic reloader of constants during runtime, featuring type inference. Written in C++11.
most recent commit 9 years ago
Luaty ⭐ 13
Lua with more or less typing. You type less; we type check.
most recent commit a year ago
Typeevalpy ⭐ 12
A Micro-benchmarking Framework for Python Type Inference Tools
most recent commit 4 months ago
Trompe ⭐ 12
A strongly-typed handy scripting language with type inference
most recent commit 6 years ago
Candor ⭐ 12
A toy Parser+Compiler+Typechecker
most recent commit a year ago
Infer ⭐ 12
A static type checker for javascript based on type inference
most recent commit 4 years ago
Yrel ⭐ 11
~2.7kB JavaScript JSON schema validation with TypeScript type inference.
most recent commit 6 months ago
Csvtoolkit ⭐ 11
Toolkit for converting, querying CSV
most recent commit 9 years ago
Mlstruct ⭐ 11
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
most recent commit a year ago
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.