Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Type Inference Open Source Projects

Open source projects categorized as Haskell Type Inference
Categories > Type Inference
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 4 years ago
Generic Lens ⭐ 430
Generically derive traversals, lenses, and prisms.
total releases 20most recent commit a year ago
Infernu ⭐ 318
Type inference and checking for a safer JavaScript.
total releases 2most recent commit 5 years ago
Haskell ⭐ 278
most recent commit 2 years ago
Hypertypes ⭐ 104
Hypertypes - generic programming for heterogeneous recursive types
total releases 3most recent commit 9 months ago
Ntha ⭐ 88
The Ntha Programming Language
total releases 3most recent commit 7 years ago
Hsdecomp ⭐ 84
A decompiler for GHC-compiled Haskell
most recent commit 6 years ago
Vanilla Lang ⭐ 73
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
most recent commit a year ago
Either.java ⭐ 51
A right-biased implementation of "Either a b" for Java, using Java 8 for mapping/folding and type inference.
dependent packages 1total releases 16most recent commit 2 years ago
Unification Fd ⭐ 38
Generic functions for single-sorted first-order structural unification
most recent commit 5 months ago
Haskell Tc ⭐ 35
Haskell typechecker
most recent commit 5 years ago
Hindley Milner ⭐ 28
Template for Hindley-Milner based languages
most recent commit 2 years ago
Ikko ⭐ 26
Ikko language
most recent commit 4 years ago
Swift Lazylist ⭐ 24
A Haskell-Like Lazy List in Swift
most recent commit 7 years ago
Ariel ⭐ 24
A simple, purely-functional programming language
most recent commit 2 years ago
Linlam ⭐ 19
a library for experimental linear lambda calculus
most recent commit a year ago
Fby19 ⭐ 17
most recent commit 4 years ago
Molecule ⭐ 17
A tiny statically typed programming language
most recent commit 10 years ago
Candor ⭐ 12
A toy Parser+Compiler+Typechecker
most recent commit a year ago
Thih ⭐ 10
typing haskell in haskell
most recent commit 2 years ago
Koak ⭐ 10
A compiler for a little statically-typed language implemented in Haskell.
most recent commit 5 years ago
Implicitcalculus ⭐ 9
Interpreter of Implicit Calculus
most recent commit 9 years ago
Fjs ⭐ 6
A statically typing programming language implemented in Haskell.
most recent commit 7 years ago
The 5 Latest Releases In Haskell Type Inference Open Source Projects
Hypertypes ⭐ 104
Hypertypes - generic programming for heterogeneous recursive types
total releases 3latest release July 25, 2023most recent commit 9 months ago
Generic Lens ⭐ 430
Generically derive traversals, lenses, and prisms.
total releases 20latest release April 15, 2023most recent commit a year ago
Either.java ⭐ 51
A right-biased implementation of "Either a b" for Java, using Java 8 for mapping/folding and type inference.
dependent packages 1total releases 16latest release February 09, 2022most recent commit 2 years ago
Ntha ⭐ 88
The Ntha Programming Language
total releases 3latest release August 27, 2016most recent commit 7 years ago
Infernu ⭐ 318
Type inference and checking for a safer JavaScript.
total releases 2latest release April 18, 2015most recent commit 5 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
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.